task_restart: Make sure new task starts with pre-emption disabled and not in a critical section.
parent
d83ad629
Please register or sign in to comment
Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.