Skip to content
GitLab
Explore
Sign in
Register
GNOME
shell-extensions
gnome-shell-extension-hide-activities
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-hide-activities:gnome43
into
master
Sep 08, 2022
Overview
2
Commits
1
Pipelines
0
Changes
3
Expand
Adding a patch to metadata so it accepts gnome shell 43
Merge request reports