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