Skip to content

Miri error messages: avoid try terminology#71206

Merged
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:dont-try
Apr 17, 2020
Merged

Miri error messages: avoid try terminology#71206
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:dont-try

bikeshed

250b27d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs