#946768 gnome-mines: timer often doesn't stop when game solved

Package:
gnome-mines
Source:
gnome-mines
Description:
popular minesweeper puzzle game for GNOME
Submitter:
Heinz Repp
Date:
2019-12-15 14:06:05 UTC
Severity:
important
#946768#5
Date:
2019-12-15 14:03:43 UTC
From:
To: