Merge "Change typehint callback to callable"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 2 Dec 2018 00:00:32 +0000 (00:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 2 Dec 2018 00:00:32 +0000 (00:00 +0000)
commit448386e304c1f67914a4cf639b457d95b06d2a98
tree97dfa5b7a37491ccb8557e6d8089124c3177aedf
parentd1acbc18b2fecf85bbf91047114dce9225568156
parent45435d05a5a0833e6e92b5af79ac00cf52b8458e
Merge "Change typehint callback to callable"