No matches were found for subject:"\"Bug#708634\\\: mksh doesn't ignore SIGINT when running a command that traps SIGINT, should implement WCE\""