Merge "Fix small typos in includes/lib/lockManager/LockManager.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 14 Dec 2016 17:41:55 +0000 (17:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 14 Dec 2016 17:41:55 +0000 (17:41 +0000)
commita3c1cb416182ad7e80cabde1b5fd42824de68610
tree47a81e42cd8638cafe99669d01136a5fffd013b6
parentf3ecd4855cebb001ca96efe9d55fdf03fc9a7277
parent5fd5727601b634cb585b32eb4421784c058edd20
Merge "Fix small typos in includes/lib/lockManager/LockManager.php"