mirror of
https://github.com/brl/mutter.git
synced 2025-02-04 15:44:10 +00:00
0075c45ca4
Every time we add or remove a device we should clear the cached list that we return in get_devices(), so that it gets repopulated.