config: Use "mapping" instead of "dict" for user-facing errors#751
Merged
adrienverge merged 1 commit intomasterfrom May 5, 2025
Merged
config: Use "mapping" instead of "dict" for user-facing errors#751adrienverge merged 1 commit intomasterfrom
adrienverge merged 1 commit intomasterfrom