Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
!192
Build cleanups
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
wip/fmuellner/build-cleanups
into
master
Aug 10, 2018
Overview
3
Commits
3
Pipelines
0
Changes
7
Expand
There's no reason for extension-prefs and portal-helper to include all of gnome-shell ...
Merge request reports