Skip to content

Add option to error when warnings are emitted, or ignore warnings - #12875

Closed
arlosi wants to merge 2 commits into
rust-lang:masterfrom
arlosi:warnings
Closed

arlosi wants to merge 2 commits into
rust-lang:masterfrom
arlosi:warnings

Commits

Commits on Oct 24, 2023