Merge back from main to develop after 1.5.0 release#34

jamescatto merged 1 commit intodevelopdiffblue/cover-annotations:developfrom

maindiffblue/cover-annotations:mainCopy head branch name to clipboard