bug in p28-kill:set killed=1 on unexpected user-space traps#355

manvendrarajpurohit wants to merge 1 commit intocodenet:p28-killcodenet/col331:p28-killfrom

manvendrarajpurohit:p28-killmanvendrarajpurohit/col331:p28-killCopy head branch name to clipboard