mirror of
https://github.com/brl/mutter.git
synced 2025-01-23 18:09:10 +00:00
78fdefcf0c
This may be useful when trying to identify the device across sessions. https://bugzilla.gnome.org/show_bug.cgi?id=740759