Closed narpfel closed 6 months ago
This looks great, thanks! @bors r+
:pushpin: Commit 503e82ab144c7d81e83b12b981697c24f05d7280 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 503e82ab144c7d81e83b12b981697c24f05d7280 with merge 52e5f11f81221883cacef6d7008e77a277481c00...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 52e5f11f81221883cacef6d7008e77a277481c00 to master...
Resolves #3530.
This also fixes a typo in
cargo miri --help
that I found while trying to run the--print-sysroot
example.