Merge "mediawiki.skinning: Remove obsolete #firstHeading selector"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 4 Sep 2014 22:44:22 +0000 (22:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 4 Sep 2014 22:44:22 +0000 (22:44 +0000)
commit2bcbc311b49af248b9f4882ae5da787a8b91a8a5
tree73592d8d44e51ff266ff3397d11bc20e9619e455
parent9e33852c8f56fad55380cbb4ec8bab407f9c7dac
parent7d244175a3bd359bd21454bb0ecd3962529001d3
Merge "mediawiki.skinning: Remove obsolete #firstHeading selector"