Skip to content

Comments

Convert valid feature name warning to an error.#12291

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:feature-name-error
Jun 20, 2023
Merged

Convert valid feature name warning to an error.#12291
bors merged 1 commit intorust-lang:masterfrom
ehuss:feature-name-error

Commits

Commits on Jun 20, 2023