GNOME Mines 3.11.90 =================== * Appdata: specify project_group * Rename desktop file to gnome-mines.desktop * Hint time penalty now increases * Add tooltips to buttons