Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
Merged in david_s5/nuttx-7/david_s5/stm32f76xx77xx_pinmaph-missed-one-1477516213180 (pull request #158) stm32f76xx77xx_pinmap.h Missed one