Skip to main content

Release du 04/01/2023 (version 10.13.11)

Corrections

  • Listes
    • Les problèmes de surlignage lors d’une recherche textuelle sont corrigés.