Tagged release 3.35.90
Tagged release 3.36.0
Tagged release 3.36.1
Tagged release 40.0
Tagged release 40.1
Tagged release 40.alpha
Tagged release 40.rc
Gnome-mines 3.7.2
Gnome mines 3.7.4
gnome mines 3.7.5
Gnome mines 3.7.92
Tagged 3.8.0
3.8.1
GNOME Mines 3.8.2
GNOME Mines 3.9.90 This tag was not properly pushed at release time. Created retroactively.
Gnome Mines 3.9.92