Merge branch 'fix-dynamic-pool' of github.com:jerome-benoit/poolifier into fix-dynami...
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 5 Jan 2024 16:15:00 +0000 (17:15 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 5 Jan 2024 16:15:00 +0000 (17:15 +0100)

Trivial merge