Skip to content

Make UserSettings more dict-like - #1816

Merged
mscuthbert merged 2 commits into
masterfrom
dict-environment
Oct 5, 2025
Merged

mscuthbert merged 2 commits into
masterfrom
dict-environment

Commits

  1. Commits on Oct 4, 2025

  2. Commits on Oct 5, 2025