Skip to content

Fix #4623: Don't check for repeated parents in refinement classes#4641

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:fix-#4623
Jun 10, 2018

Commits

Commits on Jun 10, 2018