Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
Merged in david_s5/nuttx-4/david_s5/stm32_sdioc-edited-online-with-bitbucket-1485885689555 (pull request #202) stm32_sdio.c edited online with Bitbucket