Merge "OOUI: Backport I407b0d6fe7b81465054b640d4b5ac4bf352a9901"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 5 Nov 2018 22:09:31 +0000 (22:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 5 Nov 2018 22:09:31 +0000 (22:09 +0000)
commit3e0c8a42d75e0112d46ab6a06c093c94cd73ec12
tree1fd7a58ca35e7a6eda6e9255272a242ed64322d5
parenta07a0952b41a752cc3baf6393a2160621a1ad4b8
parent0c2c674681767b98445bf055bc292f7ea960814f
Merge "OOUI: Backport I407b0d6fe7b81465054b640d4b5ac4bf352a9901"