Closed mwelzl closed 1 year ago
This partially addresses #1428 Please see the discussion there for the rationale behind this.
@philsbln How about SysDefault instead of Default? It's a single word, yet avoids the somewhat ugly: "Default: default"
I think we should close as not to be fixed
This partially addresses #1428 Please see the discussion there for the rationale behind this.