Merge "Small change to "Other review tools" link"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 29 Nov 2017 19:18:14 +0000 (19:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 29 Nov 2017 19:18:14 +0000 (19:18 +0000)
commitdb51412f816f2f9c81636da8994db92cce1ca213
treeecf4bfa46ecd3c73dbb3c9a4f9d955352c1d9118
parentb3e2c773246702ed65e4c447cd1cb12b138c44dc
parent385c4cba5d393f5a2cbc9d7989177932cf38a4f0
Merge "Small change to "Other review tools" link"