Skip to content

BUGFIX: revert pool termination

Colm Talbot requested to merge revert-pool-terminate into master

!1284 (merged) broke the ability to interrupt samplers. This MR reverts that.

Merge request reports