On Sun, Oct 29, 2017 at 12:31 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> On Sun, Oct 29, 2017 at 3:42 AM, Michael Paquier
> <michael(dot)paquier(at)gmail(dot)com> wrote:
>> Okay. Here is an updated patch incorporating those comments.
>
> Committed with a little wordsmithing on the documentation.
Thanks all.
--
Michael