Skip to content
GitLab
Explore
Sign in
GNOME
gnome-shell
Merge requests
!981
extensionPrefs: Make the Log Out button a proper verb
Code
Review changes
Check out branch
Download
Patches
Plain diff
Piotr Drąg
requested to merge
piotrdrag/grammr-fix-extensionPrefs
into
master
Feb 05, 2020
Overview
2
Commits
1
Pipelines
6
Changes
1
Expand
Merge request reports