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. -- Magnus Hagander Me: https://www.hagander.net/ <http://www.hagander.net/> Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>
