Fix #1802: Make sure errors are not swept under the carpet#1817
Merged
odersky merged 2 commits intoscala:masterfrom Dec 18, 2016
Merged
Fix #1802: Make sure errors are not swept under the carpet#1817odersky merged 2 commits intoscala:masterfrom
odersky merged 2 commits intoscala:masterfrom
Commits
Commits on Dec 17, 2016
- committed
- committed
