Skip to content

Allow end given as an end marker#7568

Merged
odersky merged 8 commits intoscala:masterfrom
dotty-staging:add-end-given
Nov 18, 2019
Merged

Allow `end given` as an end marker#7568
odersky merged 8 commits intoscala:masterfrom
dotty-staging:add-end-given

Commits

Commits on Nov 16, 2019

Commits on Nov 17, 2019

Commits on Nov 18, 2019