Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
!3064
panel: Ensure signal is disconnected when the panel is destroyed
Code
Review changes
Check out branch
Download
Patches
Plain diff
Julian Sparber
requested to merge
jsparber/gnome-shell:fix_destroy_warning
into
main
Dec 19, 2023
Overview
2
Commits
1
Pipelines
4
Changes
1
Expand
This fixes a warning when terminating GNOME Shell
Merge request reports