GNOME Mines 3.31.1
=====================

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