Fix minor bug (#2349)
The default configuration did not correspond to any of the possible choices.
This commit is contained in:
parent
e94a7491a3
commit
326e4a722f
Loading…
Reference in New Issue