Skip to content

Fix some more Gnome 50 types#97

Merged
Totto16 merged 1 commit into
mainfrom
fix_some_gnome_50_types
May 6, 2026
Merged

Fix some more Gnome 50 types#97
Totto16 merged 1 commit into
mainfrom
fix_some_gnome_50_types

Conversation

@Totto16
Copy link
Copy Markdown
Collaborator

@Totto16 Totto16 commented May 6, 2026

After updating an extension to gnome 50, I noticed some runtime crashes, this fixes that

It was just this small thing, changed in https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3912

@Totto16 Totto16 marked this pull request as ready for review May 6, 2026 00:11
@Totto16 Totto16 merged commit 8ff2eb8 into main May 6, 2026
4 checks passed
@Totto16 Totto16 deleted the fix_some_gnome_50_types branch May 6, 2026 16:25
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