Spring RTS Engine

For segfaults is it recommended to do a mantis report or not? Is the replay usefull as well?

In any case, the infolog with the stack trace: http://pastebin.com/favjcS7D . At the moment of the crash I was trying to select a "zombie" unit.

Yes, all segfaults should go to mantis. I guess the replay will be useful if it's short.

Done. (https://springrts.com/mantis/view.php?id=4951)