Hi everyone,
we had a security problem on our mail server (if you are interested, apparently
someone installed a root kit through a vulnerability in exim). One result of
this was that emails to any @gecode.org address that were sent after December
15th were not delivered.
The problem seems to be under control now. If you tried to send any email to
one of us or the Gecode mailing list, please try again now.
Best regards,
Guido
--
Guido Tack, http://people.cs.kuleuven.be/~guido.tack/
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
