Skip to content

fix: use sigterm instead of sigkill/sigint#1343

Merged
rgrinberg merged 1 commit intomasterfrom ps/rr/fix__use_sigterm_instead_of_sigkill_sigintJul 13, 2024
+9-2

Commits

Commits on Jul 13, 2024