debian/1%40.0-2

Jeremy Bícha

@jbicha

e3761d5a · releasing package gnome-mines version 1:40.0-2 · Feb 16, 2022

releasing package gnome-mines version 1:40.0-2