On Sat, Sep 2, 2017 at 1:32 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> On Fri, Jul 21, 2017 at 9:21 AM, Michael Paquier
> <michael(dot)paquier(at)gmail(dot)com> wrote:
>> On Thu, Jul 20, 2017 at 11:17 AM, Fabien COELHO <coelho(at)cri(dot)ensmp(dot)fr> wrote:
>>> Ok for me. I switched the status to "Ready for committers".
>>
>> Thanks for the review, Fabien.
>
> LGTM. Committed.
Thanks for the commit.
--
Michael