[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: Wake the map after 500ms instead of 1s

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

2016-09-09 Thread JGirault (Code Review)
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: