Merge "Remove double check of $oldRevision"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 15 Feb 2019 20:15:47 +0000 (20:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 15 Feb 2019 20:15:47 +0000 (20:15 +0000)
commit124d8f4b9329f68074634c969f05e7576afe9380
tree198c793eca8588d836d2da6904d610ad60143252
parent2c8db66fa496c6c9935873d604d99170201a8ab8
parent04370ccb0825ecff8065a4e9037abeedb317a35f
Merge "Remove double check of $oldRevision"