Fix #4623: Don't check for repeated parents in refinement classes#4641
Merged
odersky merged 1 commit intoscala:masterfrom Jun 10, 2018
Merged
Fix #4623: Don't check for repeated parents in refinement classes#4641odersky merged 1 commit intoscala:masterfrom
odersky merged 1 commit intoscala:masterfrom