Skip to content

Fix #2333: Check if class is deprecated#3811

Merged
nicolasstucki merged 5 commits intoscala:masterfrom
dotty-staging:fix-#2333
Jan 11, 2018

Commits

Commits on Jan 11, 2018