On Mon, Aug 21, 2017 at 4:48 PM, Peter Eisentraut
<peter.eisentraut@2ndquadrant.com> wrote:
> On 8/21/17 12:33, Peter Geoghegan wrote:
>> On Mon, Aug 21, 2017 at 8:23 AM, Peter Eisentraut
>> <peter.eisentraut@2ndquadrant.com> wrote:
>>> Here are my patches to address this.
>>
>> These look good.
>
> Committed. That closes this open item.
Thanks again.
--
Peter Geoghegan