Merge "[search] Remove more dead code"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 8 Nov 2016 18:19:13 +0000 (18:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 8 Nov 2016 18:19:13 +0000 (18:19 +0000)
commitda77d316ba5915028b881f49dcefb40947351b7d
tree9a3c8c3e4b80286ebcd69d1d152a9c752da64549
parent98e6489e48f5a6fb0018a8f171e40e8de1ea8494
parent1525f6cd45e47c4e9623da234a1d55f862b39498
Merge "[search] Remove more dead code"