[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: Bumped to the new wikimedia-mapdata

2016-10-13 Thread jenkins-bot (Code Review)
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

2016-10-12 Thread Yurik (Code Review)
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