Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Merge requests
!301
apps-menu: A couple of cleanups
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
fmuellner/gnome-shell-extensions:apps-menu-cleanups
into
main
Feb 02, 2024
Overview
0
Commits
3
Pipelines
4
Changes
1
Expand
Some drive-by cleanups while debugging an issue.
Merge request reports