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. -- Bruce Momjian <br...@momjian.us> http://momjian.us EnterpriseDB http://enterprisedb.com + As you are, so once was I. As I am, so you will be. + + Ancient Roman grave inscription +
