gnome-mines 3.13.1 is available for download from:
http://ftp.gnome.org/pub/GNOME/sources/gnome-mines/3.13/
About
=====
Mines (or gnomine) is a puzzle game where you locate mines floating in
an ocean using only your brain and a little bit of luck.
Changes in this release
====================
* Use delayed settings saving (Chris Johns)
* New game screen improvements (Chris Johns)
* Custom game screen improvements (Michael Catanzaro, Robert Roth)
* Removed the preferences dialog (Michael Catanzaro)
* Better minimum size request (Michael Catanzaro)
* Reimplemented the minefield to be CSS stylable (Robert Roth)
* Moved user interface creating code to Glade UI files (Robert Roth)
* Added good-looking CSS style (Allan Day)
* Updated translations and help
