GNOME Mines 3.19.1
==================

* Updated translations
* Fixed timer reset and timer jumps (Robert Roth)