1.0.2.0: tidy build issues

Closed Dec 19, 2018 100% complete

Tidy build issues.

 

This milestone is closed.

No open issues remain. View closed issues or see open milestones in this repository.