Mise à jour de maintenance : sortie de SPIP 4.2.12

Mise à jour de maintenance :  sortie de SPIP 4.2.12

Cette nouvelle version apporte quelques améliorations et corrections de bugs.

▻https://blog.spip.net/897

#spip