Merge "search: clean up some type hints in search classes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 17 Jun 2019 01:03:47 +0000 (01:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 17 Jun 2019 01:03:47 +0000 (01:03 +0000)
commit0a9d9db6d1597a13c8b9f0a0a2cd5548b3cfb451
tree6a3f28b55a1bca6f4ab29e504529b86bf75a1f8f
parentac5e403abb5b17a28477e2db86b2219c06f18bc9
parenta15be13371d8da46d22f389216db2e84e659a68f
Merge "search: clean up some type hints in search classes"