From: Jérôme Benoit Date: Fri, 5 Jan 2024 16:15:00 +0000 (+0100) Subject: Merge branch 'fix-dynamic-pool' of github.com:jerome-benoit/poolifier into fix-dynami... X-Git-Tag: v3.1.18~3^2~2 X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=19b53d08bec0e752fb3bdf054a0810db8bb8565d;p=poolifier.git Merge branch 'fix-dynamic-pool' of github.com:jerome-benoit/poolifier into fix-dynamic-pool --- 19b53d08bec0e752fb3bdf054a0810db8bb8565d