Fix dotr -tasty#3436
Merged
nicolasstucki merged 14 commits intoscala:masterfrom Nov 16, 2017
Commits
Commits on Nov 15, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored