Federico Beffa <be...@ieee.org> skribis: > On Mon, Mar 7, 2016 at 2:35 PM, Ludovic Courtès <l...@gnu.org> wrote: > > [...] > >> Could you confirm? > > We fixed that a while back :-) > http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22073
Excellent non-news. :-) My inbox is a mess! Cheers, Ludo’.