All Reports for Bug #9886
The following reports have been identified as duplicates of #9886 Game did not end when all players died.
20h
#10571 Players Dead but No Game Over Triggered
ALL PLAYERS DEAD BUT NO GAME OVER
6 attachments
(1 screenshot, 5 log files)