Skip to content
GitLab
Explore
Sign in
GNOME
mutter
Merge requests
!1569
Drop device IDs from API
Code
Review changes
Check out branch
Download
Patches
Plain diff
Carlos Garnacho
requested to merge
wip/carlosg/no-device-id
into
master
Nov 17, 2020
Overview
1
Commits
9
Pipelines
4
Changes
17
Expand
This is a X11 concept that we've dragged too long. Make it X11 specific, and drop the Clutter API.
Merge request reports