Skip to content

Avoid classcast exception in IDE#4445

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:harden-ide-12
May 7, 2018

Commits

Commits on May 2, 2018