GNOME Mines 3.17.4 ================== * Updated translations * Performance improvements (Robert Roth) * Reduced high CPU usage after consecutive games (Robert Roth)