Skip to content

Break StandardOrder.Compare ties between case variants ordinally [patch] - #200

Merged
matt-edmondson merged 1 commit into
mainfrom
fix/197-compare-total-order
Oct 9, 2026
Merged

Break StandardOrder.Compare ties between case variants ordinally [patch]#200
matt-edmondson merged 1 commit into
mainfrom
fix/197-compare-total-order

Break StandardOrder.Compare ties between case variants ordinally [patch]

ba332e7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar