Skip to content

don't deep copy SettingsRegistration#2867

Merged
rchl merged 1 commit intomainfrom
fix/copy
Apr 14, 2026
Merged

don't deep copy SettingsRegistration#2867
rchl merged 1 commit intomainfrom
fix/copy

Conversation

@rchl
Copy link
Copy Markdown
Member

@rchl rchl commented Apr 14, 2026

Fix issue reported in #2862 (comment)

@rchl rchl merged commit a5ab8df into main Apr 14, 2026
11 of 12 checks passed
@rchl rchl deleted the fix/copy branch April 14, 2026 07:03
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