Merge pull request #1928 from valentinewallace/2022-12-fix-main
authorvalentinewallace <valentinewallace@users.noreply.github.com>
Wed, 21 Dec 2022 00:31:16 +0000 (19:31 -0500)
committerGitHub <noreply@github.com>
Wed, 21 Dec 2022 00:31:16 +0000 (19:31 -0500)
Fix `main` build


Trivial merge