Merge "Change "Advanced filters" label color"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Oct 2017 15:52:29 +0000 (15:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Oct 2017 15:52:29 +0000 (15:52 +0000)
commit371a9876ad3df2179d3d3bfb6fc5576030c38b72
treefeae1033fea340e3619b4f551e8d3757c2775cd1
parent105086df75c0f181b43719110f29d6c76a8ef004
parent267c82db8e468c6f04c86f113b9a73c216fb98c0
Merge "Change "Advanced filters" label color"