Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Accept duplicate entries in INI config files
Rationale: 1. The `-D` command line option can be specified multiple times. It makes sense to be able to specify the respective config file option `dictionary` multiple times too. 2. While spcifying an option multiple times might be an error, the setting strict to `True` catches duplicates only within a single INI file, not across multiple INI files. If we are serious about handling duplicate options, we should therefore handle that manually, distinguishing options that can be duplicated or not.
- Loading branch information