Merge "Use callable type-hint in a few places"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Jun 2016 23:51:40 +0000 (23:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Jun 2016 23:51:40 +0000 (23:51 +0000)
commit2e0cf64db7ec7605229d69f857d29ebb09ba5037
tree39a701a0b7f41ec1848a309e1370d079a7ad235d
parent78d30377eb6b438b5d8cce8a29066cf010da47fe
parent4a8ae0a0b466ed300d75e7f77046683be459c03d
Merge "Use callable type-hint in a few places"