PR #50845 fix #50438, use default pool for at-threads

fix #50438, use default pool for at-threads #50845

JeffBezanson merged 1 commit into master from jb/fix50438

fix #50438, use default pool for at-threads

0af82acf

JeffBezanson added multithreading

JeffBezanson added backport 1.9

JeffBezanson added backport 1.10

oscardssmith approved these changes on 2023-08-08

JeffBezanson merged 744aa79c into master 2 years ago

JeffBezanson deleted the jb/fix50438 branch 2 years ago

KristofferC removed backport 1.10

KristofferC removed backport 1.9

Reviewers

oscardssmith

Assignees

No one assigned

Labels

multithreading

Milestone

No milestone