Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
Also redefine GPIOs even after WDS canned config. Also enable more ints.
