Prochaine maintenance programmée : lundi 01/07
Pour plus d'informations : https://doc-si.inria.fr/display/SU/Gitlab
name: Hotfix
about: Quick bugfix with very localized and low impact changes.
Description This includes commentaries from @praverdy
Changelog