Merge pull request #28681 from eileenmcnaughton/explode
authordemeritcowboy <demeritcowboy@hotmail.com>
Mon, 18 Dec 2023 02:32:52 +0000 (21:32 -0500)
committerGitHub <noreply@github.com>
Mon, 18 Dec 2023 02:32:52 +0000 (21:32 -0500)
dev/core#4866 tag search fix


Trivial merge