Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
GNOME
gnome-shell
Merge requests
!1344
Split out "Restart" into a separate menu item/dialog
Code
Review changes
Check out branch
Download
Patches
Plain diff
Florian Müllner
requested to merge
fmuellner/gnome-shell:restart-item
into
master
Jul 01, 2020
Overview
4
Commits
8
Pipelines
10
Changes
3
Expand
Fixes
#2202 (closed)
Edited
Jul 01, 2020
by
Florian Müllner
Merge request reports
