Skip to content

Fix-#1723: Avoid private leaks on completion#1922

Merged
odersky merged 3 commits intoscala:masterfrom
dotty-staging:fix-#1723
Feb 2, 2017
Merged

Fix-#1723: Avoid private leaks on completion#1922
odersky merged 3 commits intoscala:masterfrom
dotty-staging:fix-#1723

Commits

Commits on Feb 1, 2017