On 01/02/2015 12:40 PM, Ludovic Courtès wrote:
(BTW, I’m happy to make it ‘all’ instead of me, but I just didn’t want to bother everyone)
It's actually less bother (for me, at least) if you put 'all' there. Either way, it looks good, thanks; please install (I added you to the gnulib group).
