On Fri, Jul 17, 2015 at 11:37 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
>> I am on vacation right now, but I might have some time tomorrow to deal with
>> it. If not, it will be Sunday or Monday when I get to it.
>
> Is this still pending?
Yes.
--
Peter Geoghegan