On Tue, Jun 05, 2018 at 12:49:34PM +0200, Olivier Houchard wrote:
> Oops, thanks a lot David, I hope it'll be the last one :)
> 
> Willy, can you please push it ?

Now applied, and after checking the code it looks OK now.

Thanks guys,
Willy

Reply via email to