Merge "Remove references to Html5Depurate"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 13 Mar 2019 23:31:02 +0000 (23:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 13 Mar 2019 23:31:02 +0000 (23:31 +0000)
commit8accf071b2b4f07d38be90c904d54100224d99b1
treeeb5ec76c158ce90dcd804b8421547f031d4c2575
parent258d4497192f421421e4de8974103fef9bf12e24
parenta330f86543459812d5aa659ab8d31fb55b124361
Merge "Remove references to Html5Depurate"