Merge "Do move options checks before the move"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 13 Jun 2019 10:13:31 +0000 (10:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 13 Jun 2019 10:13:31 +0000 (10:13 +0000)
commitbd1d2b8529501d00080c534e245479747a097604
tree4e10507f158d88478e0722d92869117f6dc3af08
parent50edaa86c45b855376ef9c488deb28aaa115c0b6
parent5b0fd153dfc3732a320355bd9b8ab7fd737f0434
Merge "Do move options checks before the move"