Allow nested end marker scopes at same indentation width#7571

Merged

odersky merged 1 commit intoscala:masterfrom

dotty-staging:add-end-nested

Nov 19, 2019

Commits on Nov 19, 2019

Improve handling of end markers
odersky
committed