From: Jérôme Benoit <jerome.benoit@sap.com>
Date: Sat, 30 Sep 2023 08:22:55 +0000 (+0200)
Subject: Merge pull request #1360 from poolifier/combined-prs-branch
X-Git-Tag: v2.7.5~19
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=88c31884cb650840fe3896baa0c53280fb1479e3;p=poolifier.git

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

Combined PRs
---

88c31884cb650840fe3896baa0c53280fb1479e3