Skip to content

Fix a backwards compatibility bug in preferences #680

Merged
jamescr merged 1 commit into
labexp:developfrom
jamescr:bug-prefs
Feb 11, 2026
Merged

Fix a backwards compatibility bug in preferences #680
jamescr merged 1 commit into
labexp:developfrom
jamescr:bug-prefs

Commits

Commits on Feb 11, 2026