[beta] Fix rustc --profile=dev unstable check.#9901
Merged
bors merged 1 commit intorust-lang:rust-1.56.0from Sep 10, 2021
Merged
[beta] Fix rustc --profile=dev unstable check.#9901bors merged 1 commit intorust-lang:rust-1.56.0from
bors merged 1 commit intorust-lang:rust-1.56.0from