From: Jérôme Benoit <jerome.benoit@sap.com>
Date: Thu, 4 Jan 2024 10:20:33 +0000 (+0100)
Subject: Merge pull request #1833 from poolifier/combined-prs-branch
X-Git-Tag: v3.1.17~9
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;ds=sidebyside;h=f225c6aa4c388de88ef1b3e131915d63589926a9;p=poolifier.git

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

Combined PRs
---

f225c6aa4c388de88ef1b3e131915d63589926a9