On Fri, Nov 6, 2015 at 9:19 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> This is a good catch, so I pushed a fix.
Thanks for your help.
-- Peter Geoghegan