Merge pull request #3087 from dneto0/remove-unused
authorGreg Fischer <greg@lunarg.com>
Mon, 12 Dec 2022 17:34:33 +0000 (10:34 -0700)
committerGitHub <noreply@github.com>
Mon, 12 Dec 2022 17:34:33 +0000 (10:34 -0700)
Remove the name of unused formal paramters


Trivial merge