On Sat, Jul 28, 2018 at 4:36 PM, David Fetter <david@fetter.org> wrote:
> Please find attached a patch to fix this. Would this be a
> back-patchable bug?
In my view, this is not a bug fix, but an improvement, and therefore
should not be back-patched.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company