Tried the patch on Ubuntu 12.04.2 LTS, which ships sdl-mixer 1.2.11-7.
1. Started a game, waited song to change, exited the game completely, no crash dump. That was my original bug that is marked as duplicate.
2. Started a game, exited from main menu with Alt+F4, no crash dump. That would be the scenario in this report.
Tried the patch on Ubuntu 12.04.2 LTS, which ships sdl-mixer 1.2.11-7.
1. Started a game, waited song to change, exited the game completely, no crash dump. That was my original bug that is marked as duplicate.
2. Started a game, exited from main menu with Alt+F4, no crash dump. That would be the scenario in this report.