Skip to content

Migrate top doc and non-exhaustive toggles to details tag#85074

Merged
bors merged 2 commits into
rust-lang:masterfrom
GuillaumeGomez:end-toggle-migration
May 10, 2021
Merged

Migrate top doc and non-exhaustive toggles to details tag#85074
bors merged 2 commits into
rust-lang:masterfrom
GuillaumeGomez:end-toggle-migration

Update rustdoc test

3837c1c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs