On Thu, Jan 17, 2019 at 04:20:22PM +0100, Olivier Houchard wrote: > On Thu, Jan 17, 2019 at 03:09:20PM +0000, Luke Seelenbinder wrote: > > Hi Oliver, > > > > Yes! I can confirm the patch does indeed work--thanks for the quick > > turnaround. > > > > Best, > > Luke > > > > Willy, can you push it ?
OK, done, thank you! Willy