Skip to content

Use float total_cmp instead of partial_cmp to get a total order.#2651

Merged
hecrj merged 1 commit intoiced-rs:masterfrom
rhogenson:total-cmp
Oct 28, 2024
Merged

Use float total_cmp instead of partial_cmp to get a total order.#2651
hecrj merged 1 commit intoiced-rs:masterfrom
rhogenson:total-cmp

Commits

Commits on Oct 26, 2024