On Tue, Oct 29, 2019 at 09:36:56AM +0000, William Dauchy wrote: > On Tue, Oct 29, 2019 at 06:57:44AM +0100, Willy Tarreau wrote: > > Here are the adjustments I'm proposing (only 2 and 3 were slightly > > touched). I'm not committing them without your consent since they > > were signed-off :-) Just let me know. > > :-) > the new diff looks good to me
OK now merged, thanks, willy
