diff --git a/CODEOWNERS b/CODEOWNERS index 9f5cba7bf95..ae478796f45 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -12,7 +12,7 @@ /src/goto-cc/ @kroening @tautschnig /src/linking/ @kroening @tautschnig /src/memory-models/ @kroening @tautschnig -/src/goto-symex/ @kroening @tautschnig @peterschrammel @smowton +/src/goto-symex/ @kroening @tautschnig @peterschrammel @smowton @romainbrenguier /src/json/ @kroening @tautschnig @peterschrammel /src/langapi/ @kroening @tautschnig @peterschrammel /src/xmllang/ @kroening @tautschnig @peterschrammel