Hi Aurélien, On Sat, Feb 17, 2018 at 08:58:12PM +0100, Aurélien Nephtali wrote: > Hello, > > Here is a patch to fix a minor typo/bug.
Thank you, good catch! Now merged. Just one minor thing, next time, please use "git format-patch" to create your patch, instead of "git show", so that the patch can be applied with "git am". This time it was easy to adapt so it was not a big problem :-) Thanks, Willy
