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]",