Release LeanTypeDual 0.1.0#125

Draft

AsafMah wants to merge 11 commits into

devfrom

chore/release-0.1.0

Commits on Jul 14, 2026

fix(suggestions): preserve unshifted lowercase words
AsafMah
committed

Commits on Jul 25, 2026

merge: reconcile v4.0.2 into 3.11.0 release
AsafMah
committed

Commits on Jul 27, 2026

fix: stop trim crashes and duplicate expander controls
AsafMah
committed