Merge "Database search fixes:"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 23 Jun 2014 17:37:05 +0000 (17:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 23 Jun 2014 17:37:05 +0000 (17:37 +0000)
commitcbc6713c7d5df164abf0892319d66e24658bfacf
treeedf54a0ef67c25f67c0d293ae8599488acfb06e6
parent502cbf6eac384932ce9823732fc0873eaf3580e5
parentcd9dc7ef3f504e91b990cba0f3e97460937a2bcb
Merge "Database search fixes:"