[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: Bumped to the new wikimedia-mapdata
jenkins-bot has submitted this change and it was merged. Change subject: Bumped to the new wikimedia-mapdata .. Bumped to the new wikimedia-mapdata Change-Id: I73c8c1247781dec7e420a81fe6bb75cf3dd0f7d7 --- M lib/wikimedia-mapdat
[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: Bumped to the new wikimedia-mapdata
Yurik has uploaded a new change for review. https://gerrit.wikimedia.org/r/315598 Change subject: Bumped to the new wikimedia-mapdata .. Bumped to the new wikimedia-mapdata Change-Id: I73c8c1247781dec7e420a81fe6bb75cf3dd0f7d7