Skip to content

Fix #7759: Rename JavaNull -> UncheckedNull#7782

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:rename-javanull
Dec 16, 2019

Commits

Commits on Dec 16, 2019