Merge pull request #2838 from cgwalters/more-binding-fixes
authorColin Walters <walters@verbum.org>
Fri, 17 Mar 2023 18:08:18 +0000 (14:08 -0400)
committerGitHub <noreply@github.com>
Fri, 17 Mar 2023 18:08:18 +0000 (14:08 -0400)
More binding fixes


Trivial merge