Merge pull request #1497 from poolifier/fix-dynamic-worker-removal-race
authorJérôme Benoit <jerome.benoit@sap.com>
Tue, 17 Oct 2023 19:24:44 +0000 (21:24 +0200)
committerGitHub <noreply@github.com>
Tue, 17 Oct 2023 19:24:44 +0000 (21:24 +0200)
fix: ensure a dynamic scheduled for removal can't be used


Trivial merge