Merge "mediawiki.notification: Improve scroll performance"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 2 Dec 2016 13:00:22 +0000 (13:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 2 Dec 2016 13:00:22 +0000 (13:00 +0000)
commit3315354fd39f9bd60351ca27c73bafa05d449308
treea6968a775164676597921005e77e9f4c2f26c6b1
parentc02d1fb4c5aaa57f2c33e39dc4753b8111a62d53
parentf1ac8022d503a904dc66685e9b979814730ef3bc
Merge "mediawiki.notification: Improve scroll performance"