Ticket change [d75474fef3] (rid 73) by kinaba on 2012-07-14 12:42:54:

1. Change priority to "Immediate"
2. Change resolution to "Fixed"
3. Change status to "Fixed"

Ticket change [fadcb1486f] (rid 30) by kinaba on 2012-07-14 00:26:43:

1. Change comment to "Immediately 'A'borting is the solution. May not need to fix. This is needed only when I implemented a time-consuming solver."
2. Change severity to "Minor"
3. Change status to "Open"
4. Change title to "Handle SIGINT."
5. Change type to "Code_Defect"