Merge "Remove id selector for toctitle"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 10 Jun 2017 14:51:28 +0000 (14:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 10 Jun 2017 14:51:28 +0000 (14:51 +0000)
commit1dd1f9225431ebbf6a36cb11bb663bc8ce9fa2f5
tree9f6969f07578890a0afb009dc149d4655dcc2395
parent37a67dae584bef59eacb1379493770907a5e3790
parentfbf939cdda77bdeb6335fe0cec6b2a9cb6b0e5e2
Merge "Remove id selector for toctitle"