Skip to content

refactor(SourceId): merge name and alt_registry_key into one enum#12675

Merged
bors merged 3 commits intorust-lang:masterfrom
weihanglo:source-id
Sep 22, 2023
Merged

refactor(SourceId): merge name and alt_registry_key into one enum#12675
bors merged 3 commits intorust-lang:masterfrom
weihanglo:source-id

Commits

Commits on Sep 21, 2023

Commits on Sep 22, 2023