Merge "Add missing default true value for 'vector-simplesearch' preference"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 3 Oct 2013 18:42:48 +0000 (18:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 3 Oct 2013 18:42:48 +0000 (18:42 +0000)
commita22643ccf2dc2f3df084b5e6faa476649e0cad0e
tree8b87243f38346e877e4175d86521ccabca9261d9
parent6bcb10b8bfa213b4dd14200a8a05a2e843d3020b
parent4dd58118ab494960faf9eea54f02c6cd7745c93b
Merge "Add missing default true value for 'vector-simplesearch' preference"