Merge "Restore old HTML structure for history section links"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 3 Dec 2018 21:35:16 +0000 (21:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 3 Dec 2018 21:35:16 +0000 (21:35 +0000)
commit952d53d7b133b9e7f9fb77b7511b420ca1355c8f
tree69e0fed4df0b9f7c49bd0ff0f30bd88332fce788
parentb9333ae6557b86e4b074025c43e77e745610b345
parent0c9cf24b056bcdf466fe03807d13785c24993c72
Merge "Restore old HTML structure for history section links"