From: Jérôme Benoit <jerome.benoit@sap.com>
Date: Tue, 30 May 2023 10:36:41 +0000 (+0200)
Subject: Merge branch 'master' into waittime
X-Git-Tag: v2.5.0~9^2^2~8
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=78ebe9d5933520d55ba8d025bb124e8beca01a4c;p=poolifier.git

Merge branch 'master' into waittime
---

78ebe9d5933520d55ba8d025bb124e8beca01a4c