Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
GNOME
gjs
Merge requests
!15
The source project of this merge request has been removed.
Show more details about the running distro
Merged
Ghost User
requested to merge
(removed):show_info
into
master
Nov 13, 2017
Overview
0
Pipelines
0
Changes
1
A small tweak to help debugging.
