From d4d195d5f3e57d5361882b94284286b7599e23dc Mon Sep 17 00:00:00 2001 From: Jeroen De Dauw Date: Fri, 9 Aug 2019 20:15:24 +0200 Subject: [PATCH] 7.4.0 release --- RELEASE-NOTES.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md index 70bee14bb..118272e2a 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.4.0 +Released on August 9th, 2019. + * Fixed default map height bug occurring with recent versions of an used library * Removed `egMapsSizeRestrictions` setting, unused since Maps 3.0.0