> On 8 Feb 2019, at 12:01, Peter Eisentraut <peter.eisentraut@2ndquadrant.com> wrote:
>
> On 08/02/2019 11:01, Michael Paquier wrote:
>> On Fri, Feb 08, 2019 at 09:36:59AM +0100, Daniel Gustafsson wrote:
>>> Done, thanks! I took the liberty to mark you as reviewer since you’ve already
>>> spent time looking at the patch.
>>
>> Thanks. Please note that I can take care of the patch in a couple of
>> days if need be.
>
> Fixed, thanks.
Thanks, I’ve closed it in the commitfest with you as committer.
cheers ./daniel