debian/1%3.20.0-1

Andreas Henriksson

@ah

f23dc15d · * Drop transitional package gnomine · May 13, 2016

[svn-buildpackage] Tagging gnome-mines 1:3.20.0-1