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

Fix: Add fallback when pref value is not set

b1677f4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.