Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
- fixed a nullptr-dereference on iob_clone Approved-by: Gregory Nutt