Merge "Remove unused `.success-box` class"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 18 Sep 2019 20:21:11 +0000 (20:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 Sep 2019 20:21:11 +0000 (20:21 +0000)
commitc555d77d07b7fa50c80dbbdb36c446c7cd9cb276
treedbaea388e03e454bd96f17fa76289f16abba39f5
parent02d6dc2e4f610c5939fde30d37bbc1eca622a447
parent4d8763ef49679861306c3bdee16e65da0cec557d
Merge "Remove unused `.success-box` class"