Merge pull request #24923 from eileenmcnaughton/filt_bool
authordemeritcowboy <demeritcowboy@hotmail.com>
Fri, 18 Nov 2022 14:10:20 +0000 (09:10 -0500)
committerGitHub <noreply@github.com>
Fri, 18 Nov 2022 14:10:20 +0000 (09:10 -0500)
dev/core#3962 Add 'boolean' as a filter for tokens


Trivial merge