GNOME Mines 3.13.2 ================== * Update CSS style (Jakub Steiner) * Flipped tiles should not appear sensitive on hover (Robert Roth) * Scrollbars added for large custom minefields (Robert Roth) * Use improved flag icon in right column (Allan Day, Robert Roth) * Rename Difficulty button to Change Difficulty (Michael Catanzaro) * Updated translations