On Mon, May 13, 2019 at 04:34:34PM -0400, Tom Lane wrote: > 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)
Yes, please remove. -- Bruce Momjian <[email protected]> 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 +
