Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Merge requests
!124
Adjust to shell changes
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
fmuellner/gnome-shell-extensions:adjust-to-shell-changes
into
master
Jul 07, 2020
Overview
2
Commits
3
Pipelines
6
Changes
3
Expand
Bring extensions back on track after major window picker changes.
Merge request reports