Merge "Remove unused local variable and update documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 19 Nov 2013 21:40:10 +0000 (21:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 19 Nov 2013 21:40:10 +0000 (21:40 +0000)
commit7bc5dfca10c84dca53eb0794e55ced7fe8167bb4
tree56e3b67d9f5471e7b3edb9e5759fdd38018e4666
parentf8acd5fa6f9c9aee11728767803102e8154583ab
parent6ed3220897db2b9671a47b51d296854ddbee2e4d
Merge "Remove unused local variable and update documentation"