Re: remove doc/bug.template?

Magnus Hagander <magnus@hagander.net> writes:
> On Mon, May 13, 2019 at 10:00 PM Robert Haas <robertmhaas@gmail.com> wrote:
>> On Mon, May 13, 2019 at 3:54 PM Peter Eisentraut
>> <peter.eisentraut@2ndquadrant.com> wrote:
>>> I'm not sure doc/bug.template still serves a purpose.  There is bug
>>> reporting advice in the documentation, and there is a bug reporting
>>> form.  This file just seems outdated.  Should we remove it?

>> In my opinion, yes.

> +1.

No objection, but make sure you fix src/tools/version_stamp.pl.
(Looks like there's a reference in .gitattributes, too)

			regards, tom lane