[GNOME] gnome-mines - master