From: Jérôme Benoit Date: Tue, 17 Oct 2023 19:24:44 +0000 (+0200) Subject: Merge pull request #1497 from poolifier/fix-dynamic-worker-removal-race X-Git-Tag: v3.0.2~1 X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=776e97a2d35ba2003ddeddecc826353b569a4344;p=poolifier.git Merge pull request #1497 from poolifier/fix-dynamic-worker-removal-race fix: ensure a dynamic scheduled for removal can't be used --- 776e97a2d35ba2003ddeddecc826353b569a4344