Skip to content

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

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

Commits

Commits on Jan 10, 2022