Merge pull request #15212 from mmyriam/mmyriam-case-tag-search-patch-1
authorSeamus Lee <seamuslee001@gmail.com>
Wed, 4 Sep 2019 21:20:54 +0000 (07:20 +1000)
committerGitHub <noreply@github.com>
Wed, 4 Sep 2019 21:20:54 +0000 (07:20 +1000)
Fix search for case tags that are part of tag sets


Trivial merge