apps-3-14: gnome-mines no longer requires gnome-themes-standard