Merge "Change typehint callback to callable"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 2 Dec 2018 00:00:27 +0000 (00:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 2 Dec 2018 00:00:27 +0000 (00:00 +0000)
commitd1acbc18b2fecf85bbf91047114dce9225568156
treeeb2f18ebf464ca3b2579be439f8356233e2541b7
parent92ac62d26a30126cb9dffbce3f8a9824718d206b
parent3fc3b9e5785556ed9576f3f3f4146795d73f06f4
Merge "Change typehint callback to callable"