Skip to content

rustdoc: Add missing "Aliased type" title in the sidebar#115752

Merged
bors merged 3 commits into
rust-lang:masterfrom
GuillaumeGomez:aliased-type-title
Sep 11, 2023
Merged

rustdoc: Add missing "Aliased type" title in the sidebar#115752
bors merged 3 commits into
rust-lang:masterfrom
GuillaumeGomez:aliased-type-title

Add missing ID into the ID map

c523701
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs