Merge pull request #2811 from mbechard/master
authorGreg Fischer <greg@lunarg.com>
Thu, 18 Nov 2021 17:18:22 +0000 (10:18 -0700)
committerGitHub <noreply@github.com>
Thu, 18 Nov 2021 17:18:22 +0000 (10:18 -0700)
remove unneeded extra constructions now that pool allocation is fixed


Trivial merge