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
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