On Sat, Jul 28, 2018 at 4:36 PM, David Fetter <da...@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
