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?