Skip to content

replace crateid term with crate_name#1310

Merged
ehuss merged 1 commit intorust-lang:masterfrom
yejunjin:patch-1
Nov 30, 2022
Merged

replace `crateid` term with `crate_name`#1310
ehuss merged 1 commit intorust-lang:masterfrom
yejunjin:patch-1

Commits

Commits on Nov 30, 2022