GNOME Mines 3.31.1 ===================== * Appmenu removal #27 (Robert Roth) * Code cleanup (Robert Roth) * Enjoy the victory after winning #22 (Robert Roth)