Magnus Hagander <[email protected]> writes:
> On Mon, May 13, 2019 at 10:00 PM Robert Haas <[email protected]> wrote:
>> On Mon, May 13, 2019 at 3:54 PM Peter Eisentraut
>> <[email protected]> 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
