On 2017/11/29 0:52, Robert Haas wrote:
> On Mon, Nov 27, 2017 at 4:01 PM, Robert Haas <robertmhaas@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.
Thank you.
Regards,
Amit