Skip to content

Make treat_err_as_bug Option<NonZeroUsize> - #82255

Merged
bors merged 1 commit into
rust-lang:masterfrom
nhwn:nonzero-err-as-bug
Feb 23, 2021
Merged

Make treat_err_as_bug Option<NonZeroUsize>#82255
bors merged 1 commit into
rust-lang:masterfrom
nhwn:nonzero-err-as-bug

nhwn: make treat_err_as_bug Option<NonZeroUsize>

8ddd846
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs