Opération de maintenance mensuelle - Mise à jour de Gitlab - Mardi 15 Avril entre 7h00 et 8h30
mentioned in commit 5ffb3ec6
We decide to decide later to add or not mashmap. For now, just ease the add of a new tool
changed milestone to %1.2
closed via commit 5ffb3ec6
closed via merge request !1 (merged)
closed via merge request !2 (merged)
reopened
closed