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