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
db: don't require quotes around level number in options section
The current format requires per-level sections to look like
`[Level "1"]`. The quotes can be a pain to escape, especially when
this is passed through the `--store` command line.
This change makes the parsing more tolerant to allow but not require
quotes, so that `[Level 1]` also works.
0 commit comments