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.

PITests_V0
ebb61420 · This commit was manufactured by cvs2svn to create tag 'PITests_V0'. · Dec 24, 1998