Skip to content
GitLab
Explore
Sign in
Register
GNOME
shell-extensions
gnome-shell-extension-dash-to-panel
Merge requests
!3
Add upstream changes as patches for Gnome Shell v43 compatibility
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jesus Soto
requested to merge
jssotomdz/gnome-shell-extension-dash-to-panel:gnome43
into
master
Sep 19, 2022
Overview
1
Commits
2
Pipelines
0
Changes
7
Expand
Cherry-picked commits from upstream into patches to add Gnome Shell v43 compatibility.
Merge request reports