Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
Revert "apps/examples: Remove the timer example. It uses a non-portable IOCTL and must be purged." This reverts commit dba181d0.