Merge pull request #30297 from keszybz/fixups
authorLuca Boccassi <bluca@debian.org>
Sun, 3 Dec 2023 12:34:24 +0000 (12:34 +0000)
committerGitHub <noreply@github.com>
Sun, 3 Dec 2023 12:34:24 +0000 (12:34 +0000)
A few unrelated fixups for recent commits


Trivial merge