Admin message

Following a new security issue on the Linux kernel, we have temporarily disabled our shared GitLab runners. We will update it and put it back online when a fix is available.

V_Nov2015
0ce48dd1 · This commit was manufactured by cvs2svn to create tag 'V2_4'. · Nov 11, 2015