You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 specifying 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.
0 commit comments