Addition to TASTy reflect to semantic DB#5435
Merged
nicolasstucki merged 19 commits intoscala:masterfrom Nov 22, 2018
Merged
Commits
Commits on Nov 20, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
