Skip to content

rustdoc: Stop using HirIds#107325

Merged
bors merged 1 commit intorust-lang:masterfrom
petrochenkov:hiddoc2
Jan 27, 2023

Commits

Commits on Jan 26, 2023