Rename #[doc(spotlight)]
to #[doc(notable_trait)]
#80965
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 2, 2021
Merged
Rename `#[doc(spotlight)]` to `#[doc(notable_trait)]`#80965bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom