Skip to content

Have cargo add --optional <dep> create a <dep> = "dep:<dep> feature#13071

Merged
bors merged 1 commit intorust-lang:masterfrom LuuuXXX:issue-11010Dec 1, 2023

Commits

Commits on Dec 1, 2023