Skip to content

Clean up lang_items::extract#92702

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:clean-lang_items-extract
Jan 10, 2022
Merged

Clean up lang_items::extract#92702
bors merged 1 commit intorust-lang:masterfrom
ehuss:clean-lang_items-extract

Commits

Commits on Jan 9, 2022