Merge pull request #2798 from alan-baker/update-tools
authorGreg Fischer <greg@lunarg.com>
Tue, 9 Nov 2021 01:29:53 +0000 (18:29 -0700)
committerGitHub <noreply@github.com>
Tue, 9 Nov 2021 01:29:53 +0000 (18:29 -0700)
Update tools


Trivial merge