mirror of
https://github.com/brl/mutter.git
synced 2025-01-23 18:09:10 +00:00
ce3d9fb89f
Fixes some left-overs from commit ff635bad3b72c701.