On Fri, Mar 16, 2018 at 10:44:22AM +0100, Christopher Faulet wrote:
> Willy, unless you see something wrong in my patch, I think you can safely
> merge it right now.

OK, merged now. Thanks!
Willy

Reply via email to