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