On Wed, Dec 5, 2018 at 11:30 AM Alvaro Herrera <alvhe...@2ndquadrant.com> wrote: > I added this patch to commitfest in order to get more opinions, > particularly on whether to backpatch this. I might commit sooner than > that if others care to comment.
I don't think this is a bug fix, and therefore I oppose back-patching it. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
