Skip to content

Improve the way GAP terminates subprocesses to avoid a race condition that could lead to unwanted warnings or even hangs #5207

Improve the way GAP terminates subprocesses to avoid a race condition that could lead to unwanted warnings or even hangs

Improve the way GAP terminates subprocesses to avoid a race condition that could lead to unwanted warnings or even hangs #5207