On Wednesday, November 19 2014, I wrote: > Thanks, Joel. I will write to the GNU sysadmins and see what can be > done. I will let you guys know. The GNU sysadmins told me that both lists now redirect here. I hope it works OK. Cheers, -- Sergio GPG key ID: 0x65FC5E36 Please send encrypted e-mail if possible http://sergiodj.net/