Fix overriding problems#1243
Merged
odersky merged 16 commits intoscala:masterfrom May 23, 2016
Merged
Commits
Commits on May 18, 2016
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 19, 2016
- committed
- committed
- committed
- committed
- committed
- committed