7.0 - standalone
Closed Dec 17, 2015
100% complete
Merge the standalone branch back into master.
Also fix some small bugs, including with coverage maps.
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.