Merge pull request #18723 from colemanw/crmSearchCleanup
authorSeamus Lee <seamuslee001@gmail.com>
Fri, 9 Oct 2020 23:22:35 +0000 (10:22 +1100)
committerGitHub <noreply@github.com>
Fri, 9 Oct 2020 23:22:35 +0000 (10:22 +1100)
Search ext: misc cleanup & fixes


Trivial merge