[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: Wake the map after 500ms instead of 1s
jenkins-bot has submitted this change and it was merged. Change subject: Wake the map after 500ms instead of 1s .. Wake the map after 500ms instead of 1s Bug: T145169 Change-Id: I8844ca92969dc4890eef213244cf3e1e05aa4573 --- M
[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: Wake the map after 500ms instead of 1s
JGirault has uploaded a new change for review. https://gerrit.wikimedia.org/r/309546 Change subject: Wake the map after 500ms instead of 1s .. Wake the map after 500ms instead of 1s Bug: T145169 Change-Id: