Andy Li Sun, 24 Sep 2017 19:51:24 -0700
I've just pushed a fix to Alioth. Stéphane: Would you help upload it?
Best regards, Andy