From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Sat, 24 Aug 2024 10:32:40 +0000 (+0200)
Subject: Merge pull request #2542 from poolifier/combined-prs-branch
X-Git-Tag: v4.2.4~3
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=ed633e17114072079b2682d5edc68b4337048a2a;p=poolifier.git

Merge pull request #2542 from poolifier/combined-prs-branch

Combined PRs
---

ed633e17114072079b2682d5edc68b4337048a2a