Skip to content

Fix #8241: Allow end markers for extensions#8252

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:fix-#8241
Feb 8, 2020

Commits

Commits on Feb 8, 2020