Merge pull request #2887 from mbechard/master
authorGreg Fischer <greg@lunarg.com>
Thu, 10 Feb 2022 18:57:37 +0000 (11:57 -0700)
committerGitHub <noreply@github.com>
Thu, 10 Feb 2022 18:57:37 +0000 (11:57 -0700)
avoid leaving decorations on auto-push-constants


Trivial merge