Merge "RCFilters: Adjust styling of 'other review tools' button"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 3 Aug 2017 00:06:06 +0000 (00:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 3 Aug 2017 00:06:06 +0000 (00:06 +0000)
commitd75530e48276f9d5ac9089b6f035ebfeab0a0375
tree1fa7e2ebb7ed6239a5a94f9b170448ebb6f3cb27
parent2e7ca56ca4821874beba36edd75939b3d594151e
parent554440cd86d9ed89724f7fbb6c7b8461910d9535
Merge "RCFilters: Adjust styling of 'other review tools' button"