On Mon, Nov 27, 2017 at 4:01 PM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> I am out of time for today but will try to look at this some more tomorrow.
Upon closer study this seems to definitely be a correct fix, so I have
committed it. Apologies for my earlier confusion.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company