Skip to content

Don't rely on gala gsettings key#861

Merged
danirabbit merged 1 commit intomainfrom
lenemter/dont-rely-on-gala-gsettings-key
Feb 20, 2026
Merged

Don't rely on gala gsettings key#861
danirabbit merged 1 commit intomainfrom
lenemter/dont-rely-on-gala-gsettings-key

Conversation

@lenemter
Copy link
Member

@lenemter lenemter commented Feb 6, 2026

Fixes an issue reported in #860

@lenemter lenemter requested a review from a team February 6, 2026 08:28
@lenemter lenemter moved this from In progress to Needs review in Distro-agnostic Pantheon Feb 6, 2026
@github-project-automation github-project-automation bot moved this from Needs review to Reviewer approved in Distro-agnostic Pantheon Feb 6, 2026
@danirabbit danirabbit merged commit 2dd730c into main Feb 20, 2026
6 checks passed
@danirabbit danirabbit deleted the lenemter/dont-rely-on-gala-gsettings-key branch February 20, 2026 17:06
@github-project-automation github-project-automation bot moved this from Reviewer approved to Done in Distro-agnostic Pantheon Feb 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

3 participants