Comment 8 for bug 556912

Seems like I've got version 2.3.7-1~getdeb1 installed now. I started all over again from mission 1 a few months ago and I played all the way to the last campaign without noticing the crash mentioned above. So I guess you can mark this one fixed.
Sorry for not updating this bug (and thanks for reminding me!).