Skip to content
GitLab
Explore
Sign in
GNOME
mutter
Merge requests
!1657
Fixes around picking
Code
Review changes
Check out branch
Download
Patches
Plain diff
Carlos Garnacho
requested to merge
wip/carlosg/picking-fixes
into
master
Dec 28, 2020
Overview
0
Commits
4
Pipelines
4
Changes
3
Expand
Some fixes for things noticed after
!1654 (merged)
Merge request reports