Skip to content
GitLab
Explore
Sign in
GNOME
gjs
Merge requests
!15
The source project of this merge request has been removed.
Show more details about the running distro
Ghost User
requested to merge
(removed):show_info
into
master
Nov 13, 2017
Overview
0
Pipelines
0
Changes
1
Expand
A small tweak to help debugging.
Merge request reports