Skip to content

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

Merged
bors merged 1 commit into
rust-lang:masterfrom
Teapot4195:issue-108612-fix
Mar 5, 2023
Merged

Omit unchanged options from config.toml in configure.py#108632
bors merged 1 commit into
rust-lang:masterfrom
Teapot4195:issue-108612-fix

./configure script should only show blocks (and associated comments) …

00f98e6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs