Skip to content

PartialOrd + Ord for HeaderSlice, HeaderWithLength and ThinArc#60

Merged
Manishearth merged 2 commits into
Manishearth:masterfrom
daddinuz:master
May 22, 2023
Merged

PartialOrd + Ord for HeaderSlice, HeaderWithLength and ThinArc#60
Manishearth merged 2 commits into
Manishearth:masterfrom
daddinuz:master

BREAKING CHANGE - semantic change of PartialOrd/Ord for HeaderSliceWi…

620628e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs