gnome-mines (1:3.34.0-1) unstable; urgency=medium * New upstream release -- Sebastien Bacher <email address hidden> Fri, 13 Sep 2019 16:58:27 +0200