Merge "mediawiki.toc.print.css: Restore ID selector #toc"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 10 Aug 2017 18:12:54 +0000 (18:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 10 Aug 2017 18:12:54 +0000 (18:12 +0000)
commit7aca2387827af96966aeeb80f8c8206f7d31ea23
tree213219bccc2bff62c853f1550696e9da3db9cac0
parent19390c1e8a91d87a7998ee77992f1d4d0de15da4
parente960a481012b7e4e1df19c26d70b504d738ecd14
Merge "mediawiki.toc.print.css: Restore ID selector #toc"