Merge branch 'vision-devel' into Milestone-3
Merge branch 'Milestone-3' of https://github.com/TheiaRobo/Theia into Milestone-3
Fixed bug?