Merge pull request #18431 from colemanw/searchUpdate
authorSeamus Lee <seamuslee001@gmail.com>
Mon, 14 Sep 2020 22:49:37 +0000 (08:49 +1000)
committerGitHub <noreply@github.com>
Mon, 14 Sep 2020 22:49:37 +0000 (08:49 +1000)
Search extension: edit smart groups


Trivial merge