Release LeanTypeDual 3.11.0#120

Closed

AsafMah wants to merge 7 commits into

devfrom

chore/release-3.11.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 26, 2026

release: reset LeanTypeDual version to 0.1.0
AsafMah
committed