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.
--
Bruce Momjian <bruce@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 +