Ticket change [16ad083192] (rid 255) by kinaba on 2012-07-15 13:45:10:

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

Ticket change [95fef9d138] (rid 250) by kinaba on 2012-07-15 13:13:36:

1. Change severity to "Critical"
2. Change status to "Open"
3. Change title to "let lambda-score 50. I anyhow aborts. won't die."
4. Change type to "Code_Defect"