Merge pull request #7320 from diffblue/jimgrundy-owner-update

Update CODEOWNERS to add Daniel Kroening as an owner for src/memory-analyzer

Author: jimgrundy

CODEOWNERS

@@ -49,7 +49,7 @@
 /doc/cprover-manual/contracts* @tautschnig @feliperodri @remi-delmas-3000
 /src/goto-diff/ @tautschnig @peterschrammel
 /src/jsil/ @kroening @tautschnig
-/src/memory-analyzer/ @tautschnig @chris-ryder
+/src/memory-analyzer/ @tautschnig @chris-ryder @kroening
 /jbmc/src/jbmc/ @peterschrammel @romainbrenguier
 /jbmc/src/janalyzer/ @peterschrammel @romainbrenguier
 /jbmc/src/jdiff/ @peterschrammel