Skip to content

Streamline fast rejection#109367

Merged
bors merged 3 commits intorust-lang:masterfrom
nnethercote:opt-fast-rejection
Mar 29, 2023
Merged

Streamline fast rejection#109367
bors merged 3 commits intorust-lang:masterfrom
nnethercote:opt-fast-rejection

Commits

Commits on Mar 28, 2023