> On 8 Feb 2019, at 12:01, Peter Eisentraut <peter(dot)eisentraut(at)2ndquadrant(dot)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.