Skip to content

Improve printing of encoded unicode chars#5764

Merged
nicolasstucki merged 2 commits intoscala:masterfrom
dotty-staging:improve-unicdode-printing
Jan 21, 2019
Merged

Improve printing of encoded unicode chars#5764
nicolasstucki merged 2 commits intoscala:masterfrom
dotty-staging:improve-unicdode-printing

Commits

Commits on Jan 21, 2019