Merge "Vector: fix jump-to-navigation link href"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 5 Mar 2013 12:56:48 +0000 (12:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 5 Mar 2013 12:56:48 +0000 (12:56 +0000)
commitdffbc84d3b9a461cc3b801e52f487e6361d59ba8
treec8ae0918fa8b4f5876fbf18c8b07931857c38c4e
parent175d1c847ca555b8dc68c5f026d0f4d5716431bd
parent75858d59d4520b9fe3479a105495c1f86efa8cfb
Merge "Vector: fix jump-to-navigation link href"