Cleanup links to issues that have been addressed#4200

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:cleanup-linked-issuestautschnig/kani:cleanup-linked-issuesCopy head branch name to clipboard