On Mon, May 13, 2019 at 10:00 PM Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> On Mon, May 13, 2019 at 3:54 PM Peter Eisentraut
> <peter(dot)eisentraut(at)2ndquadrant(dot)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.
--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>