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