-
Florian Müllner authored
The website changed its version handling again, and now takes "40.0" to mean "40.0, and only 40.0". Not complaining though, as "40" is more correct in my opinion anyway ... Part-of: <GNOME/gnome-shell-extensions!172>
861e5c0b