build: version 4.1.13

CHANGELOG.md

@@ -2,7 +2,7 @@
 
 Changelog de SPIP 4.1
 
-## Unreleased
+## 4.1.13 - 2023-12-18
 
 ### Security
 

ecrire/inc_version.php

@@ -441,8 +441,8 @@ $liste_des_authentifications = [
 // pour specifier les versions de SPIP necessaires
 // il faut s'en tenir a un nombre de decimales fixe
 // ex : 2.0.0, 2.0.0-dev, 2.0.0-beta, 2.0.0-beta2
-$spip_version_branche = '4.1.12';
-define('_SPIP_VERSION_ID', 40112);
+$spip_version_branche = '4.1.13';
+define('_SPIP_VERSION_ID', 40113);
 define('_SPIP_EXTRA_VERSION', '');
 
 // cette version dev accepte tous les plugins compatible avec la version ci-dessous

ecrire/paquet.xml

 <paquet
 	prefix="spip"
 	categorie="outil"
-	version="4.1.12"
+	version="4.1.13"
 	etat="stable"
 	compatibilite="];["
 	schema="2022022302"