Skip to content

Make treat_err_as_bug Option<NonZeroUsize>#82255

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

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

Commits

Commits on Feb 18, 2021