Merge pull request #28760 from eileenmcnaughton/case_dec
authordemeritcowboy <demeritcowboy@hotmail.com>
Fri, 22 Dec 2023 03:24:56 +0000 (22:24 -0500)
committerGitHub <noreply@github.com>
Fri, 22 Dec 2023 03:24:56 +0000 (22:24 -0500)
Declare caseId, caseIds as public properties


Trivial merge