From 737b445639428f943773decb7a4ea1b1845ccfc5 Mon Sep 17 00:00:00 2001
From: Jeroen De Dauw <jeroendedauw@gmail.com>
Date: Mon, 4 Dec 2023 01:18:21 +0100
Subject: [PATCH] Release Maps 10.1.1 (#762)

---
 RELEASE-NOTES.md | 2 +-
 extension.json   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
index 3efd26ed..55db69a0 100644
--- 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
index 2f6d85bf..ac58a1fb 100644
--- 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]",