Skip to content

Make ForceWarn a lint level.#86009

Merged
bors merged 1 commit intorust-lang:masterfrom
cjgillot:fwarn
Jun 29, 2021
Merged

Make ForceWarn a lint level.#86009
bors merged 1 commit intorust-lang:masterfrom
cjgillot:fwarn

Commits

Commits on Jun 26, 2021