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