Merge "Special:Preferences: Remove unnecessary OOUI styles override"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Sep 2018 18:53:14 +0000 (18:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Sep 2018 18:53:14 +0000 (18:53 +0000)
commit95ec6c6029fae3af265b39d33bdc828eb706939e
treece1a1fff365ad90c1c67bbb04276aa6c06b28c63
parent141d921cebc05d221e7499b969c13f84961bc506
parent2240a3c4effe4d43a9f92c676b9a7e0f673b863f
Merge "Special:Preferences: Remove unnecessary OOUI styles override"