Merge "Use .toc instead of #toc as selector for TOC"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Apr 2017 01:47:48 +0000 (01:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Apr 2017 01:47:48 +0000 (01:47 +0000)
commit0a873ed202207e3ab14e6ff372d7c0e9e0c95ea5
tree32c0720431bd3010ca821a0644749ec7d8236f18
parentf0db6a2c508b5b6d490090cecffc498c08ee39d0
parent115fca376e1470014a94376d82a62c00167a6b4a
Merge "Use .toc instead of #toc as selector for TOC"