On Fri, Sep 1, 2017 at 5:11 AM, David Steele <david@pgmasters.net> wrote:
> On 8/31/17 4:04 PM, Robert Haas wrote:
>> On Wed, Aug 30, 2017 at 8:37 PM, Michael Paquier
>> <michael.paquier@gmail.com> wrote:
>>> Thanks for the new version. This looks fine to me.
>>
>> Committed to REL9_6_STABLE with minor wordsmithing.
>
> The edits look good to me. Thanks, Robert!
Thanks David for the patch, and Robert for the commit! The final
result is nicely shaped.
--
Michael