Skip to content

refactor: de-depulicate make_dep_prefix implementation#12203

Merged
bors merged 1 commit intorust-lang:masterfrom
weihanglo:make-dep-prefix
May 30, 2023
Merged

refactor: de-depulicate make_dep_prefix implementation#12203
bors merged 1 commit intorust-lang:masterfrom
weihanglo:make-dep-prefix

Commits

Commits on May 30, 2023