Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 0ebe8d07 authored by sebastien letort's avatar sebastien letort

Merge branch 'maint' into django

parents 1ef3517e 913d5a86
Pipeline #57655 failed with stage
in 1 minute and 10 seconds