7.13.0 release

ProfessionalWiki · Dec 13, 2019 · ed9f469 · ed9f469
1 parent 1bfcc91
commit ed9f469
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/extension.json b/extension.json
@@ -1,6 +1,6 @@
 {
 	"name": "Maps",
-	"version": "7.12.2",
+	"version": "7.13.0",
 
 	"author": [
 		"[https://www.entropywins.wtf/mediawiki Jeroen De Dauw]",