Édito du 12/02/2025 :

Les paquets de la semaine arrivent d’ici peu. Le problème d’empaquetage ayant été résolus, cela se passe bien mieux maintenant.

Le site sera en maintenance quelques heures soit ce jeudi ou dimanche dans le pire des cas. Rien de grave, c’est juste un remplacement d’un élément qui demande une reconfiguration de quelques paramètres. J’espère que cela se passera bien et ne prendra pas trop de temps à déboguer.

Je profite d’une petite pause pour avancer sur les projets de doc en cours :).