Merge back from main to develop after 1.6.0 release #39

ksunandr merged 1 commit into

developdiffblue/cover-annotations:developfrom

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