On Wed, Mar 28, 2018 at 11:06:23AM +1100, Haribabu Kommi wrote:
> On Wed, Mar 28, 2018 at 3:35 AM, Peter Eisentraut <
> peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:
>>
>> Committed after fixing up the documentation a bit as suggested by others.
>
> Thanks.
+1. Thanks for working on this Hari, Peter for the commit and all
others for your input!
--
Michael