Small improvements to workspace/symbol#5443
Merged
Duhemm merged 7 commits intoscala:masterfrom Nov 30, 2018
Merged
Commits
Commits on Nov 20, 2018
Commits on Nov 29, 2018
Commits on Nov 30, 2018
- committed
workspace/symbol#5443