Skip to content
GitLab
Explore
Sign in
Register
GNOME
shell-extensions
gnome-shell-extension-top-icons-plus
Merge requests
!3
Compatibility changes for GNOME Shell 43
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jesus Soto
requested to merge
jssotomdz/gnome-shell-extension-top-icons-plus:gnome43
into
debian/master
Sep 08, 2022
Overview
6
Commits
2
Pipelines
2
Changes
4
Expand
Changing control to allow gnome shell 43 and adding a patch to metadata so it accepts gnome shell 43
Merge request reports