Add summary paragraphs to older CHANGELOG entries#8931

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:changelog-summariestautschnig/cbmc:changelog-summariesCopy head branch name to clipboard