From: Jérôme Benoit <jerome.benoit@sap.com>
Date: Tue, 19 Sep 2023 08:09:16 +0000 (+0200)
Subject: Merge branch 'master' into feature/task-functions
X-Git-Tag: v2.7.0~1^2~6
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=e4c07d066abc51e978a18f44a973a548f24fb7ad;hp=e4c07d066abc51e978a18f44a973a548f24fb7ad;p=poolifier.git

Merge branch 'master' into feature/task-functions
---