On Mon, Nov 27, 2017 at 4:01 PM, Robert Haas <robertmh...@gmail.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
