Should we file an issue for mutter or gnome-shell? Now that this issue is public it could probably b

Should we file an issue for mutter or gnome-shell? Now that this issue is public it could probably be replicated in more malicious scripts
Was this page helpful?