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.

redbook
8321f395 · Merge branch '16-black' into 'master' · Jul 12, 2023