Skip to content

Only warn about unknown config options instead of rejecting them#631

Merged
julianbrost merged 1 commit intosupport/1.1from unknown-config-option-warningAug 8, 2023

Commits

Commits on Aug 8, 2023