Closed alexander-haller closed 4 months ago
In GitLab by @mhxion on May 27, 2024, 17:33
Merges minor-improvements -> dev
Replace default value for ProperPath parameter kind. Replace default value "" with None. None here implies "undefined" or "unknown".
ProperPath
kind
""
None
In GitLab by @mhxion on May 27, 2024, 17:33
Merges minor-improvements -> dev
Replace default value for
ProperPath
parameterkind
. Replace default value""
withNone
.None
here implies "undefined" or "unknown".