Looks reasonable. Only one note:
(1) The change to clutter/clutter/clutter-device-manager.c is out of date already (missing https://gitlab.gnome.org/GNOME/mutter/merge_requests/552). So there is a slight risk without that second part.
« Back to merge proposal
Looks reasonable. Only one note:
(1) The change to clutter/ clutter/ clutter- device- manager. c is out of date already (missing https:/ /gitlab. gnome.org/ GNOME/mutter/ merge_requests/ 552). So there is a slight risk without that second part.