Skip to content

Remove unneeded ItemId::Primitive variant#106628

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:rm-itemid-primitive
Jan 11, 2023

Commits

Commits on Jan 10, 2023