Merge "OOjs UI: Backport d190bc51e60195eed81f147e9324c9ec21c9e68c"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 29 Sep 2015 12:33:15 +0000 (12:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 29 Sep 2015 12:33:15 +0000 (12:33 +0000)
commitc7d134074704b1854ad956f98330b67b6b802733
tree0c69ae32a1da8b363453f0be46f5a6bd9d746e87
parent9c90b64b7d45f734f7c8c7561689c63d3ae5eab8
parentb4b2523f48a2480f2e13a0bbfab55698b9d40769
Merge "OOjs UI: Backport d190bc51e60195eed81f147e9324c9ec21c9e68c"