Merge pull request #1834 from jerome-benoit/fix-dynamic-pool
authorJérôme Benoit <jerome.benoit@sap.com>
Fri, 5 Jan 2024 23:29:13 +0000 (00:29 +0100)
committerGitHub <noreply@github.com>
Fri, 5 Jan 2024 23:29:13 +0000 (00:29 +0100)
fix: ensure dynamic pool with min size = 0 works


Trivial merge