fix(opt-dist): respect existing config.toml#125473

Merged

bors merged 1 commit intorust-lang:masterfrom weihanglo:respect-existing-config-toml

May 26, 2024

+14-17

Commits on May 26, 2024

opt-dist: dont overrwite config.toml when verifying
weihanglo
committed