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
wayland
wayland-protocols
Merge requests
!27
Merged
Created
Apr 07, 2020
by
Simon Ser
@emersion
Owner
Options
xdg-shell: map/unmap clarifications
Overview
11
Commits
2
Pipelines
2
Changes
1