jenkins-bot has submitted this change and it was merged. Change subject: Update GeoData to master tip ......................................................................
Update GeoData to master tip Change-Id: I4d10315b95e72a9f609db828be2c6f0c0790413b --- 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 7559b35..6d12d8c 160000 --- a/extensions/GeoData +++ b/extensions/GeoData -Subproject commit 7559b3550d912210c55ba1ebf4ae44cf5e0ff5b6 +Subproject commit 6d12d8cd1b5f9da1d1428a37aedb0d5033c507af -- To view, visit https://gerrit.wikimedia.org/r/73362 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4d10315b95e72a9f609db828be2c6f0c0790413b 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
