Skip to content

drop unused username index - #14350

Closed
moskirathe wants to merge 1 commit into
rust-lang:mainfrom
moskirathe:drop-unused-username-index
Closed

drop unused username index#14350
moskirathe wants to merge 1 commit into
rust-lang:mainfrom
moskirathe:drop-unused-username-index

Commits

Commits on Jul 25, 2026