Skip to content
GitLab
Explore
Sign in
GNOME
mutter
Merge requests
!1005
Selection bugfixes
Code
Review changes
Check out branch
Download
Patches
Plain diff
Carlos Garnacho
requested to merge
wip/carlosg/selection-bugfixes
into
master
Jan 13, 2020
Overview
1
Commits
4
Pipelines
10
Changes
4
Expand
Some x11 selection fixes. Fixes
gnome-shell#1355 (closed)
and
gtk#2347 (closed)
Merge request reports