Merge pull request #47 from diffblue/release/1.8.0#48

pcrane merged 1 commit intodevelopdiffblue/cover-annotations:developfrom

mergeback/1.8.0diffblue/cover-annotations:mergeback/1.8.0Copy head branch name to clipboard