Merge "Improve type hints to special page related classes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 6 Jun 2019 04:20:49 +0000 (04:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 6 Jun 2019 04:20:49 +0000 (04:20 +0000)
commit63f1b4ee690d7ea2d40c7e0873a24a4cb5bd60ff
treef4cbf86ac2a9b595d02679759e17ecc0d7a5fcfc
parent40ce67065f56227e54dd46120d71b56df08ef922
parent41984162afebf441cd4661f0a969c2bfd903163c
Merge "Improve type hints to special page related classes"