Subject: [ci-announces] Deployment of a new versionDate: October 7, 2013 10:42:54 AM GMT+02:00Dear users,
A new version of the continuous integration service will be deployed
soon. You may experience issues today, do not hesitate to report them
on ci-support@inria.fr.