Skip to content

fix: make compare_lines a valid total order (#105)#106

Merged
dduugg merged 2 commits into
mainfrom
fix/compare-lines-total-order
May 18, 2026
Merged

fix: make compare_lines a valid total order (#105)#106
dduugg merged 2 commits into
mainfrom
fix/compare-lines-total-order

Commits

Commits on May 18, 2026