Ludovic Courtès Tue, 18 Nov 2014 13:08:39 -0800
I’ve just pushed it to master, and as two separate commits–I couldn’t resist Andreas’ call. ;-)
Thanks! Ludo’.