Skip to content

rustc_metadata: Encode doc(hidden) flag to metadata#107136

Merged
bors merged 1 commit intorust-lang:masterfrom
petrochenkov:dochidden
Jan 23, 2023
Merged

rustc_metadata: Encode `doc(hidden)` flag to metadata#107136
bors merged 1 commit intorust-lang:masterfrom
petrochenkov:dochidden

Commits

Commits on Jan 21, 2023