Comment 47 for bug 1205149

3) As others suggest, likely 1) triggered by AI players.

1) That does indeed sound different than bug 1205010. That dealt with pre-built buildings which could not be dismantled, but had no effect on player-built buildings. Furthermore, I've looked a bit at it and dismantling works as expected on Ubuntu 13.04, though crash as described above on 12.04 (both using latest trunk). I've lost a bit track of the discussion here, but that sounds distinct from both the original bug described here, as well as bug 1205010, so I think the best course of action would probably be to file a separate bug report to keep track of it.

>Would somebody like to have some log-file, screenshot, more information?
If you could run widelands in gdb and get a backtrace from when the crash occurs, that would be nice. :) If you haven't used gdb before, please see #4 on bug 1199957 on how to get started.