Merge "shell: annotate return types"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 1 May 2019 19:16:37 +0000 (19:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 1 May 2019 19:16:37 +0000 (19:16 +0000)
commita8b38e84aca19857c74724014eb69402466a22ce
treef48a8f3189161d9dee5a5c37d344981bc778bc93
parent12b7e6f38ab852695ad2b1a63d9d64fc93365d8a
parente7d13e88b8832af90ea02d0502609b267ec4a51d
Merge "shell: annotate return types"