Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
Conflicts (fixed): include/nuttx/fs/ioctl.h include/nuttx/spi/spi.h