Code

fix: add missing ord trait for NameId#73

Code

Merged

baszalmstra merged 1 commit intomamba-org:mainmamba-org/resolvo:mainfrom tdejager:feat/add-ordtdejager/resolvo:feat/add-ordCopy head branch name to clipboardOct 4, 2024

+1-1

Commits

Commits on Oct 4, 2024

• fix: add missing ord trait for NameId

  tdejager

  committed
  fc8450b