Merge pull request #159 from jerome-benoit/dependabot/github_actions/github/combine...
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 19 Jul 2024 11:32:31 +0000 (13:32 +0200)
committerGitHub <noreply@github.com>
Fri, 19 Jul 2024 11:32:31 +0000 (13:32 +0200)
build(deps): Bump github/combine-prs from 5.0.0 to 5.1.0


Trivial merge