On Thu, Jun 01, 2017 at 05:38:49PM +0200, William Lallemand wrote:
> Those minor problems have been corrected in this new patchset.
> Please merge them if that's ok for you.

New series now merged, thanks William!

Willy

Reply via email to