Prefer regions with an external_name in approx_universal_upper_bound#78164
Merged
bors merged 1 commit intorust-lang:masterfrom Aaron1011:fix/async-region-nameDec 18, 2020
+46-2
external_name in approx_universal_upper_bound#78164