Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix preferences #3219

Merged
merged 1 commit into from
Dec 22, 2023
Merged

fix preferences #3219

merged 1 commit into from
Dec 22, 2023

Conversation

dartcafe
Copy link
Collaborator

fixes #3216

@dartcafe
avoid error logging #3216
92ec8e6 
Signed-off-by: dartcafe <[email protected]>
@dartcafe dartcafe added the bug label Dec 22, 2023
@dartcafe dartcafe added this to the 6.1 milestone Dec 22, 2023
@dartcafe dartcafe merged commit 8b3d349 into master Dec 22, 2023
15 checks passed
@delete-merged-branch delete-merged-branch bot deleted the fix/preferences branch December 22, 2023 07:38
@dartcafe dartcafe mentioned this pull request Jan 30, 2024
Closed
12 tasks
@addy90 addy90 mentioned this pull request Mar 27, 2024
Closed
12 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
6.1
1 participant
@dartcafe