On Wed, Dec 5, 2018 at 11:30 AM Alvaro Herrera <alvherre@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