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

Merge branch 'master' of github.com:poolifier/poolifier into waittime
---