GNOME Mines 3.12.0
==================

* Updated translations and help