Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
!654
Some small cleanups
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
fmuellner/gnome-shell:minor-cleanups
into
master
Jul 31, 2019
Overview
5
Commits
8
Pipelines
12
Changes
7
Expand
A couple of small drive-by fixes from picking up my ease-actors branch.
Merge request reports