Skip to content

Distinguish between genuine typos and old configuration that could be cleaned in configuration warning#6824

Merged
Pierre-Sassoulas merged 2 commits intomainfrom
useless-option-value
Jun 6, 2022
Merged

Distinguish between genuine typos and old configuration that could be cleaned in configuration warning#6824
Pierre-Sassoulas merged 2 commits intomainfrom
useless-option-value

Commits

Commits on Jun 6, 2022