Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
!2998
appMenu: Move setApp to null before destroy
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jonian Guveli
requested to merge
jonian/gnome-shell:jonian-main-patch-43414
into
main
Oct 28, 2023
Overview
1
Commits
1
Pipelines
10
Changes
1
Expand
fix
#7132 (closed)
Merge request reports