Merge "Update some minor type hints"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 26 Mar 2019 02:24:04 +0000 (02:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 26 Mar 2019 02:24:04 +0000 (02:24 +0000)
commitbe096deafc0685f0d82471ef5f786244b4afda0a
tree8000a3fb9c5e2b2eed6b50e99b5979195fac56fe
parent063cce733ee8d743bcece547d44045fde4105ddc
parentde398a4395f1ca23c107401fadbac880fcef4c57
Merge "Update some minor type hints"