Merge pull request #33375 from yuwata/trivial-follow-ups
authorLuca Boccassi <bluca@debian.org>
Mon, 17 Jun 2024 19:06:46 +0000 (20:06 +0100)
committerGitHub <noreply@github.com>
Mon, 17 Jun 2024 19:06:46 +0000 (20:06 +0100)
Trivial follow ups for recent PRs


Trivial merge