Merge back from main to develop after 1.6.0 release #39

ksunandr merged 1 commit intodevelopdiffblue/cover-annotations:developfrom

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