Re: remove doc/bug.template?

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 +