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.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company