Use String or Int to set the opt level#113273

Merged

bors merged 1 commit intorust-lang:masterfrom Rustin170506:rustin-patch-opt-level

Jul 9, 2023

+76-16

Commits on Jul 9, 2023

Use String or Int to set the opt level
Rustin170506
committed