Skip to content

Readded old Android fix against reloading default settings - #394

Open
EL-Dol wants to merge 1 commit into
daisy:mainfrom
EL-Dol:feature/android-reloading-defaults-dix
Open

EL-Dol wants to merge 1 commit into
daisy:mainfrom
EL-Dol:feature/android-reloading-defaults-dix

Conversation

@EL-Dol

@EL-Dol EL-Dol commented Aug 29, 2025

Copy link
Copy Markdown
Contributor

@rileeki rileeki moved this from Triage to In review in MathCAT Project Board Jul 28, 2026
@moritz-gross moritz-gross added bug Something isn't working rust Coding in Rust labels Sep 16, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working rust Coding in Rust

Projects

Status: In review

Development

Successfully merging this pull request may close these issues.

4 participants