Skip to content

Remove error field and related checks from PreferenceManager - #669

Merged
NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:remove-error-field-from-PreferenceManager
Aug 12, 2026
Merged

Remove error field and related checks from PreferenceManager#669
NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:remove-error-field-from-PreferenceManager

Conversation

@moritz-gross

@moritz-gross moritz-gross commented Aug 11, 2026

Copy link
Copy Markdown
Collaborator

see issue #658

@moritz-gross
moritz-gross requested a review from NSoiffer August 11, 2026 18:44
@NSoiffer
NSoiffer merged commit ab01a5d into daisy:main Aug 12, 2026
8 checks passed
@github-project-automation github-project-automation Bot moved this from Triage to Done in MathCAT Project Board Aug 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants