gitlab has just been upgraded to version 18.10.5 Please contact Infrastructure admins if you have or see any troubles.
