Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
semaphore:sem_boostholderprio prevent overrun of pend_reprios Approved-by: Gregory Nutt