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)
commit0cf5ebeffccc64b1643ad74531b97dadab26ebb6
treea33f319c8caf9ccc2c6b6dc623fecb579ba5f77a
parent42a91b31312b2152898d7fc9d38d294ca31cb6f1
parent4f6d8ab0767e534553bfa130f39dbb07ebb804a4
Merge pull request #33375 from yuwata/trivial-follow-ups

Trivial follow ups for recent PRs