Merge dependabot/github_actions/github/combine-prs-5.0.0 into combined-prs-branch
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 24 Nov 2023 02:10:17 +0000 (03:10 +0100)
committerGitHub <noreply@github.com>
Fri, 24 Nov 2023 02:10:17 +0000 (03:10 +0100)

Trivial merge