Skip to content

Rename #[doc(spotlight)] to #[doc(notable_trait)]#80965

Merged
bors merged 1 commit into
rust-lang:masterfrom
camelid:rename-doc-spotlight
Apr 2, 2021
Merged

Rename #[doc(spotlight)] to #[doc(notable_trait)]#80965
bors merged 1 commit into
rust-lang:masterfrom
camelid:rename-doc-spotlight

Rename `#[doc(spotlight)]` to `#[doc(notable_trait)]`

34c6cee
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs