> On Aug 22, 2018, at 9:15 AM, Peter Eisentraut <peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:
>
> On 18/08/2018 19:37, Jonathan S. Katz wrote:
>> I reviewed the patches, here are my comments.
>
> Committed all three with some adjustments. Thanks.
Awesome, thanks! I removed the open item.
Jonathan