gnome-mines 3.7.2
====================

* Fixed the build

Contributions from: Piotr Drąg, Robert Ancell

gnome-mines 3.7.0
====================

First release split from gnome-games
