bump gnome-mines-3.10.1