Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
!2191
Factor in dash margins in startup animation and icon size calcualtion
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jonas Dreßler
requested to merge
verdre/gnome-shell:blablabla
into
main
Feb 16, 2022
Overview
1
Commits
2
Pipelines
6
Changes
2
Expand
Merge request reports