Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
SAM3/4: Fix GPIO pull-up/down code.