tag 3.10.0
Gnome Mines 3.10.1
Gnome Mines 3.11.1
GNOME Mines 3.11.3
Gnome Mines 3.11.90
Gnome Mines 3.11.92
Gnome Mines 3.12.0
Gnome Mines 3.12.1
GNOME Mines 3.12.2
Tagged 3.13.1 release
GNOME Mines 3.13.2
Tagged release 3.13.4
Release 3.13.90.
Tagged release 3.13.91
Tagged 3.13.92 release
Tagged release 3.14.0
Tagged release 3.14.1
Tagged release 3.14.2
Tagged release 3.15.1
GNOME Mines 3.15.3 Belated tag since Robert forgot :)