Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
Back out the rest of commit 1e754402. Newlib support will not be accepted into the NuttX repository.