Skip to content

Convert comment to doc comment on Interner::get.#110376

Merged
bors merged 1 commit intorust-lang:masterfrom
aDotInTheVoid:doc-comment
Apr 16, 2023
Merged

Convert comment to doc comment on `Interner::get`.#110376
bors merged 1 commit intorust-lang:masterfrom
aDotInTheVoid:doc-comment

Commits

Commits on Apr 15, 2023