95e0bf34e9
There was an attempt to remove an unnecessary inclusion of a header file, but only got so far as compile testing after having commented out, but didn't remove the comment before creating a commit. This commit fixes that mistake. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1640>