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)
commite372f3935374fbbea3a5d3acc72813b36ced86ff
treed3b0e0c7510eb5e6c458a48e159187c04e916d54
parent36df30dda213f05b2b33841fdf913098957fe675
parent6d7beb8c8cf0bdb1f5ef19f57fcfb0aa0e53f074
Merge pull request #1834 from jerome-benoit/fix-dynamic-pool

fix: ensure dynamic pool with min size = 0 works