From d88b4ad9ff635291fe82461e65a3ae04ff0b8474 Mon Sep 17 00:00:00 2001
From: Jeroen De Dauw <jeroendedauw@gmail.com>
Date: Mon, 23 Dec 2019 07:09:15 +0100
Subject: [PATCH] 7.15.1 release

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

diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
index 0286b0408..0463f1add 100644
--- a/RELEASE-NOTES.md
+++ b/RELEASE-NOTES.md
@@ -5,6 +5,8 @@ different releases and which versions of PHP and MediaWiki they support, see the
 
 ## Maps 7.15.1
 
+Released on December 23rd, 2019.
+
 * Fixed `geojson` parameter in the Leaflet result format (7.12.0 regression)
 * Fixed `center` parameter for Leaflet (7.12.0 regression)
 
diff --git a/extension.json b/extension.json
index 01c07260b..9c07b1379 100644
--- a/extension.json
+++ b/extension.json
@@ -1,6 +1,6 @@
 {
 	"name": "Maps",
-	"version": "7.15.0",
+	"version": "7.15.1",
 
 	"author": [
 		"[https://www.entropywins.wtf/mediawiki Jeroen De Dauw]",