Skip to content

Fix #7121: Disallow quotes in annotations#7368

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:fix-#7121
Oct 8, 2019
Merged

Fix #7121: Disallow quotes in annotations#7368
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:fix-#7121

Commits

Commits on Oct 4, 2019