Skip to content

rustdoc-json: change item ID's repr from a string to an int#130078

Merged
bors merged 1 commit into
rust-lang:masterfrom
its-the-shrimp:rustdoc-types-compress-ids
Oct 12, 2024
Merged

rustdoc-json: change item ID's repr from a string to an int#130078
bors merged 1 commit into
rust-lang:masterfrom
its-the-shrimp:rustdoc-types-compress-ids

rustdoc-json: `Id(String)` -> `Id(u32)`

1e30b5a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs