mirror of
https://github.com/brl/mutter.git
synced 2025-07-29 04:58:03 +00:00

It does the exact same checks, and saves us a few lines of code.
https://gitlab.gnome.org/GNOME/mutter/merge_requests/992
(cherry picked from commit 3958e75ed2
)