From: jenkins-bot Date: Wed, 7 Nov 2018 10:46:15 +0000 (+0000) Subject: Merge "Remove obsolete Special:Preferences styles after its transformation to OOUI" X-Git-Tag: 1.34.0-rc.0~3544 X-Git-Url: https://git.cyclocoop.org/admin/%7B%24admin_url%7Dmembres/%27%20.%20%24_credit%5B%27url%27%5D%20.%20%27?a=commitdiff_plain;h=bb3b50bb1bb5844269227de0ff82f00182bd4501;p=lhc%2Fweb%2Fwiklou.git Merge "Remove obsolete Special:Preferences styles after its transformation to OOUI" --- bb3b50bb1bb5844269227de0ff82f00182bd4501