Skip to content

Use pre-interned symbols in a couple of places#92733

Merged
bors merged 1 commit intorust-lang:masterfrom
bjorn3:less_symbol_intern
Jan 10, 2022
Merged

Use pre-interned symbols in a couple of places#92733
bors merged 1 commit intorust-lang:masterfrom
bjorn3:less_symbol_intern

Commits

Commits on Jan 10, 2022