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