Merge pull request #32435 from YHNdnzj/followup
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 23 Apr 2024 13:47:57 +0000 (15:47 +0200)
committerGitHub <noreply@github.com>
Tue, 23 Apr 2024 13:47:57 +0000 (15:47 +0200)
Some follow-ups for recent PRs


Trivial merge