Skip to content

Conversation

@sergio-costas
Copy link
Collaborator

@sergio-costas sergio-costas commented Feb 6, 2025

Related: #2179

@3v1n0
Copy link
Collaborator

3v1n0 commented Sep 9, 2025

This got fixed upstream via https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3809 so we can close the PR.

@3v1n0 3v1n0 closed this Sep 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants