Omit unchanged options from config.toml in `configure.py`#108632

Merged

bors merged 1 commit intorust-lang:masterfrom

Teapot4195:issue-108612-fix

Mar 5, 2023

Commits on Mar 3, 2023

./configure script should only show blocks (and associated comments) where it is not default
Teapot4195
committed