From 38260c997f1a35af174e180eac221716f56d1092 Mon Sep 17 00:00:00 2001 From: Jeroen De Dauw Date: Wed, 18 Oct 2017 08:59:29 +0200 Subject: [PATCH] Add missing line in release notes --- RELEASE-NOTES.md | 1 + 1 file changed, 1 insertion(+) diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md index 3d97fa162..97b04330f 100644 --- a/RELEASE-NOTES.md +++ b/RELEASE-NOTES.md @@ -8,6 +8,7 @@ Released on October 16th, 2017. * Added persistent geocoding cache (by hidrarga) * Fixed rendering of wikitext in popups of the map result format when using the `template` parameter (by hidrarga) * Fixed random loading failure of Leaflet maps (by Peter Grassberger) +* Geocoders now respect MediaWiki's network settings such as `wgHTTPProxy` * Image overlays used in `#display_map` now support geocoding for their locations ### Breaking changes