On Sat, Jun 13, 2015 at 01:10:05AM +0200, joris dedieu wrote:
> Ok I sent the patch with git send-email.

Applied, thanks very much Joris!
Willy


Reply via email to