J’ai soumis une demande de tirage (pull request) sur le dépôt pour corriger le problème (sans frais).
Nous verrons pour la maintenance à long terme, peut-être via Pavilion.
edit : La PR a été fusionnée.
J’ai soumis une demande de tirage (pull request) sur le dépôt pour corriger le problème (sans frais).
Nous verrons pour la maintenance à long terme, peut-être via Pavilion.
edit : La PR a été fusionnée.