Skip to content

Remove redundant field in SketchBuilder#1408

Merged
hannobraun merged 2 commits intomainfrom builderNov 30, 2022