Development #79665
mise à jour de la police Muli
Début:
13 juillet 2023
Echéance:
% réalisé:
0%
Temps estimé:
Patch proposed:
Non
Planning:
Non
Description
Le dépôt https://github.com/vernnobile/MuliFont.git contient une version plus complète de la police Muli, qui contient notamment le point médian (plutôt qu'un emplacement vide qui empêche le fallback pour ce caractère).
Historique
Mis à jour par Robot Gitea il y a 10 mois
- Statut changé de Nouveau à Solution proposée
Frédéric Péters (fpeters) a ouvert une pull request sur Gitea concernant cette demande :
- URL : https://git.entrouvert.org/entrouvert/publik-base-theme/pulls/351
- Titre : fonts: update muli with latest version (#79665)
- Modifications : https://git.entrouvert.org/entrouvert/publik-base-theme/pulls/351/files
Mis à jour par Robot Gitea il y a 10 mois
- Statut changé de Solution proposée à Solution validée
Serghei Mihai (smihai) a approuvé une pull request sur Gitea concernant cette demande :
Mis à jour par Robot Gitea il y a 10 mois
- Statut changé de Solution validée à Résolu (à déployer)
Frédéric Péters (fpeters) a mergé une pull request sur Gitea concernant cette demande :
- URL : https://git.entrouvert.org/entrouvert/publik-base-theme/pulls/351
- Titre : fonts: update muli with latest version (#79665)
- Modifications : https://git.entrouvert.org/entrouvert/publik-base-theme/pulls/351/files
Mis à jour par Transition automatique il y a 10 mois
- Statut changé de Résolu (à déployer) à Solution déployée