Merge "Follow-up 3535a5f327: Remove old CSS now caches have expired"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 19 May 2019 13:12:04 +0000 (13:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 19 May 2019 13:12:04 +0000 (13:12 +0000)
commit1bd43b1bffffc3720e1ef743d802e88fdf849b0f
treeef55f814b77353e3acf7ebe8649561ed41acf8e3
parent9a708748deb1124eff394eaf0402a6a14d769b9c
parentdeefc67597a74b91a70f5c78993588f669491884
Merge "Follow-up 3535a5f327: Remove old CSS now caches have expired"
resources/src/mediawiki.content.json.less