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