Merge "Fix return typehint"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 11 Dec 2018 13:04:50 +0000 (13:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 11 Dec 2018 13:04:50 +0000 (13:04 +0000)
commit04e6f695837f03add4a41ce3d8e612ff807a82ff
treee42b83402002548829d2e0e9a2dac86c4e191338
parent4b63435781c879f2b27d511ffb451b2e2e3f475e
parentd6851450278c9e97eabf5365cb2a7b2177cacea7
Merge "Fix return typehint"