From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Sat, 30 Dec 2017 17:10:58 +0000 (+0000)
Subject: Merge "Improve (weak and strict) type hints invarious places"
X-Git-Tag: 1.31.0-rc.0~1042
X-Git-Url: http://git.cyclocoop.org/%40spipnet%40?a=commitdiff_plain;h=64a38b3b854607498ea49342b68e9c44a0ea1390;p=lhc%2Fweb%2Fwiklou.git

Merge "Improve (weak and strict) type hints invarious places"
---

64a38b3b854607498ea49342b68e9c44a0ea1390