Skip to content
GitLab
Explore
Sign in
Denis Gorodnichev
gnome-shell-extensions
Repository
gnome-shell-extensions
NEWS
Find file
Blame
History
Permalink
Bump version to 3.31.2
· 1b881e1e
Florian Müllner
authored
Nov 13, 2018
Update NEWS.
1b881e1e
To find the state of this project's repository at the time of any of these versions, check out
the tags
.