Date de publication : 7 juin 2023
Le problème d'affectation de nom d'un dossier a été résolu. Ce problème entraînait une défaillance de construction sur les plates-formes sensibles à la casse.
