Skip to content

we reserve the right to reduce our amount of UB#1397

Merged
ehuss merged 2 commits into
rust-lang:masterfrom
RalfJung:less-ub-in-the-future
Sep 18, 2023
Merged

we reserve the right to reduce our amount of UB#1397
ehuss merged 2 commits into
rust-lang:masterfrom
RalfJung:less-ub-in-the-future

more wording tweaks

434bd02
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs