mirror of
https://github.com/brl/mutter.git
synced 2025-03-29 06:33:46 +00:00

Since we just queue up repicks, we can improve the mechanism added at commit 4d76a21029 this so it's less ad-hoc. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3385>