Le 29/08/2016 à 17:02, Richard Heck a écrit :
You're right of course. Fixed at 68d825fed.

Richard, this is candidate for branch, unless you are in a hurry
prefer that I revert the faulty commit instead.

Go ahead.

Thanks, done.

JMarc

Reply via email to