Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
GNOME
mutter
Merge requests
!518
Merged
Created
Apr 01, 2019
by
Daniel van Vugt
@vanvugt
Contributor
Options
launch-context: Swap reversed timestamp/workspace
Overview
3
Commits
1
Pipelines
6
Changes
1
The parameters had been mixed up for X11 sessions.
Closes:
#505 (closed)
Edited
Apr 01, 2019
by
Daniel van Vugt