This bug was fixed in the package gnome-mines - 1:3.30.1.1-1
--------------- gnome-mines (1:3.30.1.1-1) unstable; urgency=medium
* New upstream release (Closes: #909613) (LP: #1772191)
-- Jeremy Bicha <email address hidden> Wed, 26 Sep 2018 15:37:26 -0400
This bug was fixed in the package gnome-mines - 1:3.30.1.1-1
---------------
gnome-mines (1:3.30.1.1-1) unstable; urgency=medium
* New upstream release (Closes: #909613) (LP: #1772191)
-- Jeremy Bicha <email address hidden> Wed, 26 Sep 2018 15:37:26 -0400