Release Maps 10.1.1 (#762)

ProfessionalWiki · Dec 4, 2023 · 737b445 · 737b445
1 parent 0ebb726
commit 737b445
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -5,7 +5,7 @@ different releases and which versions of PHP and MediaWiki they support, see the
 
 ## Maps 10.1.1
 
-Not released yet
+Released on December 4th, 2023.
 
 * Fixed errors occurring on GeoJSON pages on MediaWiki 1.39 and above
 

diff --git a/extension.json b/extension.json
@@ -1,6 +1,6 @@
 {
 	"name": "Maps",
-	"version": "10.1.0",
+	"version": "10.1.1",
 
 	"author": [
 		"[https://EntropyWins.wtf/mediawiki Jeroen De Dauw]",