Make signal argument to kill optional#445
Merged
homu merged 1 commit intonix-rust:masterfrom Nov 14, 2016
fiveop:kill_optional_signal
Merged
Make signal argument to kill optional#445homu merged 1 commit intonix-rust:masterfrom fiveop:kill_optional_signal
homu merged 1 commit intonix-rust:masterfrom
fiveop:kill_optional_signal
