Release du 04/01/2023 (version 10.13.11)

By 4 janvier 2023 septembre 1st, 2023 Corrections

Corrections

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