Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell-extensions
Merge requests
!30
The source project of this merge request has been removed.
WIP: Revert "build: Fix classic .session definition"
Ghost User
requested to merge
(removed):revert-d22e6036
into
master
Mar 04, 2018
Overview
1
Pipelines
0
Changes
1
Expand
This reverts commit
d22e6036
Merge request reports