Skip to content
GitLab
Explore
Sign in
GNOME
GNOME Boxes
Merge requests
!206
The source project of this merge request has been removed.
readme: Use primary header
Ghost User
requested to merge
(removed):patch-1
into
master
Sep 05, 2019
Overview
1
Pipelines
0
Changes
1
Expand
I screwed up the commit history for
!201 (closed)
and had to redo it.
Merge request reports