Ruud van Melick Fri, 20 Nov 2015 10:45:46 -0800
This bug was fixed in |gnome-mines 3.18.2-1. Bug report can be closed.
|
