Merge "Remove useless use of current and end"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 19 May 2019 06:46:42 +0000 (06:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 19 May 2019 06:46:42 +0000 (06:46 +0000)
commit76bb7bbe8e84a45b783488297c3add585ed59c12
tree0e58c07b09da9013f2ba1490f2bb6107b2827a77
parentbfcb23b3f14174e8f70605a63b2b34b65180ed33
parente2273bcd864c53a5eb0b6d62d5f4890d937527f8
Merge "Remove useless use of current and end"