Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Repository
gnome-shell-extensions
NEWS
Find file
Blame
History
Permalink
Bump version to 3.7.5.1
· 7783e998
Giovanni Campagna
authored
Feb 06, 2013
Includes an important build fix
7783e998
To find the state of this project's repository at the time of any of these versions, check out
the tags
.