Merge "Prevent selection of "Jump to" text"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 3 Jan 2014 13:36:20 +0000 (13:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 3 Jan 2014 13:36:20 +0000 (13:36 +0000)
commit6d5cae57e702fd95a3830235a028c2a4ed3df787
treecda0454c802368fcfadbab757c347929b4741bd3
parentc75c48c31ebedd1d0ec2bdae9e41d4417d9a8452
parentc448b73e82a6aeee4b610690472667b823d3a845
Merge "Prevent selection of "Jump to" text"