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