Skip to content
GitLab
Explore
Sign in
GNOME
Settings
Merge requests
!45
The source project of this merge request has been removed.
Shrink it further
Ghost User
requested to merge
(removed):shrink2
into
master
May 12, 2018
Overview
8
Pipelines
0
Changes
1
Expand
Avoid to redo some tasks (save git untracked files e use them).
Merge request reports