Skip to content

Use SIGTERM as default signal if SIGKILL is undefined#12

Merged
clue merged 1 commit intoclue:masterfrom
SimonFrings:bug
Sep 28, 2020
Merged

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

Commits

Commits on Sep 28, 2020