Skip to content

Prefer regions with an external_name in approx_universal_upper_bound#78164

Merged
bors merged 1 commit into
rust-lang:masterfrom
Aaron1011:fix/async-region-name
Dec 18, 2020
Merged

Prefer regions with an external_name in approx_universal_upper_bound#78164
bors merged 1 commit into
rust-lang:masterfrom
Aaron1011:fix/async-region-name

Prefer regions with an `external_name` in `approx_universal_upper_bound`

419d3ae
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs