From Bugzilla Helper:
User-Agent: Mozilla/4.0 (compatible; MSIE 5.5; Windows NT 4.0)
Description of problem:
High scores for gnomine do not working after winning the Small and Large field
sizes. High scores for Medium sized field does work.
Problem appears to be incorrect filename for the gnomine.*.scores.
Version-Release number of selected component (if applicable):
Steps to Reproduce:
1.Play gnomine (preferably from a terminal)
2.Select 'Small' or 'Large' from Preferences
3.Play and win game
Actual Results: 1.High scores not updated and still unavailable.
2.See error message on terminal referring to missing file.
Expected Results: Time required to win game added to high score.
# mv /var/lib/games/gnomine.Tiny.score /var/lib/gnomine.Small.scores
# mv /var/lib/games/gnomine.Biiig.scores /var/lib/gnomine.Large.scores
fixed in latest rawhide.