Merge "Fix type annotation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 17 Dec 2016 01:29:08 +0000 (01:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 17 Dec 2016 01:29:08 +0000 (01:29 +0000)
commitde2a34c1696785fbb5aeed838c038d0f1fb21ad3
tree6626db9005c00efa3806399f0bafd26098619e2f
parent8e06e37eee6640b2f76c6b4ad6d767ed4caabcb0
parent633e638cae7529942131ca777fdbd4bdf86b0d82
Merge "Fix type annotation"