Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
sched/semaphore: Fix setting EINVAL in sem_post() and sem_wait()