Merge "Improve (weak and strict) type hints invarious places"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 30 Dec 2017 17:10:58 +0000 (17:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 30 Dec 2017 17:10:58 +0000 (17:10 +0000)
commit64a38b3b854607498ea49342b68e9c44a0ea1390
treef88b29975b22f42ca01f5bc183f244c504b5b459
parentda84b5ccd1431d455310f8b2940d341f81509a5b
parentfa15c987874009401f73f39cb06430c24a0ce9d7
Merge "Improve (weak and strict) type hints invarious places"