On 2019-05-14 04:56, Bruce Momjian wrote:
> On Mon, May 13, 2019 at 04:34:34PM -0400, Tom Lane wrote:
>> 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)
>
> Yes, please remove.
done
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services