On 2014-07-17 16:43, Nicolas Goaziou writes: > This should be fixed. Thank you for reporting it. I confirm it works. Thanks a lot! Alan -- OpenPGP Key ID : 040D0A3B4ED2E5C7