Merge pull request #25857 from colemanw/unusedVar
authordemeritcowboy <demeritcowboy@hotmail.com>
Fri, 17 Mar 2023 15:42:51 +0000 (11:42 -0400)
committerGitHub <noreply@github.com>
Fri, 17 Mar 2023 15:42:51 +0000 (11:42 -0400)
Remove unused var


Trivial merge