08b30d6fe2
It was since long ago replaced by a 'repeat-count' property. https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1289