Merge "changes: Fix wrong typehint"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 13 Sep 2019 20:47:34 +0000 (20:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 13 Sep 2019 20:47:34 +0000 (20:47 +0000)
commitee8efaef9458c3a305575cd1f48ca96b925aa769
tree304eff50ab50c4352058f4f491bf83a59d205330
parent7baed424895d4fe38aa8a7215384724685eca88f
parenta4327ec8c80dd5a707faa341d632d849a6040201
Merge "changes: Fix wrong typehint"