MaxSem has submitted this change and it was merged. Change subject: Update GeoData to master tip ......................................................................
Update GeoData to master tip Change-Id: I8c1df46bf42b0854c3b85bcebe11181d71ab798f --- M extensions/GeoData 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: MaxSem: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/GeoData b/extensions/GeoData index 58c609d..7559b35 160000 --- a/extensions/GeoData +++ b/extensions/GeoData -Subproject commit 58c609d28e701f3c53d500e1225c423a61f84b60 +Subproject commit 7559b3550d912210c55ba1ebf4ae44cf5e0ff5b6 -- To view, visit https://gerrit.wikimedia.org/r/72941 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8c1df46bf42b0854c3b85bcebe11181d71ab798f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.22wmf9 Gerrit-Owner: MaxSem <[email protected]> Gerrit-Reviewer: MaxSem <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
