Jan. 22, 2013
4:44 p.m.
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: