Merge pull request #3097 from cgwalters/symbol-cleanups
authorColin Walters <walters@verbum.org>
Tue, 21 Nov 2023 13:34:32 +0000 (08:34 -0500)
committerGitHub <noreply@github.com>
Tue, 21 Nov 2023 13:34:32 +0000 (08:34 -0500)
Symbol cleanups


Trivial merge