Skip to content

Unreliable merging of globals with user settings fixed#9

Merged
uhurusurfa merged 5 commits into
mainfrom
fix_globals_overriding_user_settings
Aug 15, 2025
Merged

Unreliable merging of globals with user settings fixed#9
uhurusurfa merged 5 commits into
mainfrom
fix_globals_overriding_user_settings

Conversation

@uhurusurfa

Copy link
Copy Markdown
Member
  • Removed the inclusion of globals as it is not necessary.

@uhurusurfa uhurusurfa merged commit 46c8f3e into main Aug 15, 2025
8 checks passed
@uhurusurfa uhurusurfa deleted the fix_globals_overriding_user_settings branch August 15, 2025 16:18
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.

1 participant