Merge "API: Remove long-deprecated methods (and one class)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 15 Oct 2018 22:34:20 +0000 (22:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 15 Oct 2018 22:34:20 +0000 (22:34 +0000)
commit33397ae8b6b46c367a5d94cd94f652be8f5940ef
tree202f7c16c312341154f8163275960dfdb07266b7
parent8867f81ab354b3acdb11a87f97b2f998716a0be2
parent6ff65e57bbf203a53a2f0232f76d55116e85d928
Merge "API: Remove long-deprecated methods (and one class)"