gnome-mines 3.8.0 ================= * Translation updates