Skip to content

Stop the pool optimizer in stopWorkers() - #518

Closed
medjed02 wants to merge 1 commit into
meta:mainfrom
medjed02:stop-pool-optimizer
Closed

medjed02 wants to merge 1 commit into
meta:mainfrom
medjed02:stop-pool-optimizer

Commits

  1. Commits on Nov 10, 2026