Skip to content

Fix ThreadPool stop flag data race in destructor#112

Open
Aristide021 wants to merge 1 commit intoml-explore:mainfrom
Aristide021:fix/threadpool-stop-race
Open

Fix ThreadPool stop flag data race in destructor#112
Aristide021 wants to merge 1 commit intoml-explore:mainfrom
Aristide021:fix/threadpool-stop-race

Commits

Commits on Mar 22, 2026