Hi, Yes, mailing lists where down and I on the train, so the ticket to supper was only send yesterday after office hours… and today I spend some effort convincing the admins that no, it's not my mail client that is wrong configured… Marcus On Jan 22, 2013, at 5:43 PM, Stéphane Ducasse <stephane.ducasse@inria.fr> wrote: