On Tue, Dec 02, 2014 at 05:18:06PM +0100, Ludovic Court??s wrote:
     Seeing you were not on IRC, I went ahead and fixed it in commit 6c0e878.
     
OK.  Thanks.  Sorry for not noticing this beforehand.
     

-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.