Skip to content

Fix #3857: partial fix to generate more shallow tree in LabelDef#3994

Merged
nicolasstucki merged 2 commits intoscala:masterfrom
dotty-staging:fix-3857
Feb 20, 2018

Commits

Commits on Feb 13, 2018