Merge "shell: Remove documentation that doesn't add meaning to the method"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Jun 2019 01:30:50 +0000 (01:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Jun 2019 01:30:50 +0000 (01:30 +0000)
commit08a01ddff731222828d4ed0dc4bb279f1771e797
tree133c1cd228927a0bac9fab4a8ebad23c409a39dc
parent098463b77ad46f433bd3c987e137fe216a7963ac
parentcfb9ddc78d04d16d582df27568c38ffc176859df
Merge "shell: Remove documentation that doesn't add meaning to the method"