![Robert Mader](/assets/img/avatar_default.png)
It is unused and removing it allows us some further cleanups. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1978>
It is unused and removing it allows us some further cleanups. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1978>