Skip to content

rustdoc: remove unused CSS .out-of-band { font-weight: normal }#103370

Merged
bors merged 1 commit into
rust-lang:masterfrom
notriddle:notriddle/out-of-band
Oct 22, 2022
Merged

rustdoc: remove unused CSS .out-of-band { font-weight: normal }#103370
bors merged 1 commit into
rust-lang:masterfrom
notriddle:notriddle/out-of-band

rustdoc: remove unused CSS `.out-of-band { font-weight: normal }`

1adb4c3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs