Skip to content

Fix missing-apostrophe contraction candidate selection - #573

Closed
AsafMah wants to merge 1 commit into
LeanBitLab:mainfrom
AsafMah:asafmah-contraction-candidate-selection
Closed

AsafMah wants to merge 1 commit into
LeanBitLab:mainfrom
AsafMah:asafmah-contraction-candidate-selection

fix: select the actual missing-apostrophe contraction candidate

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

Annotations

3 warnings and 1 notice
build
succeeded Sep 29, 2026 in 3m 39s