Skip to content

Fix #6902: Avoid illegal characters for generated given names#6903

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:fix-given-encoding
Jul 22, 2019
Merged

Fix #6902: Avoid illegal characters for generated given names#6903
odersky merged 1 commit intoscala:masterfrom
dotty-staging:fix-given-encoding

Commits

Commits on Jul 21, 2019