Skip to content

Use SIGTERM as default signal if SIGKILL is undefined#57

Merged
clue merged 1 commit intoclue:masterfrom
SimonFrings:bug
Oct 3, 2020
Merged

Use SIGTERM as default signal if SIGKILL is undefined#57
clue merged 1 commit intoclue:masterfrom
SimonFrings:bug

Commits

Commits on Sep 29, 2020