support overriding settings.gui_config with an empty table (#1373)
#2557
| Job | Run time |
|---|---|
| 6s | |
| 6s |
settings.gui_config with an empty table (#1373)
#2557
| Job | Run time |
|---|---|
| 6s | |
| 6s |