On Wed, Feb 15, 2017 at 2:44 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> I committed the patch posted to the other thread. Hopefully that> closes this issue.
Thanks.-- Michael