Magnus Hagander <mag...@hagander.net> writes:
> On Mon, May 13, 2019 at 10:00 PM Robert Haas <robertmh...@gmail.com> wrote:
>> On Mon, May 13, 2019 at 3:54 PM Peter Eisentraut
>> <peter.eisentr...@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
