Release du 19/04/2023 (version 12.4.1)

By 19 avril 2023 septembre 1st, 2023 Corrections

Corrections

  • Listes
    • Correction du problème de mise en surbrillance des éléments recherchés dans le filtre de recherche textuelle.