Merge pull request diffblue#5130 from smowton/smowton/admin/symex-code-owner

Make Romain a code owner for symex, per Peter Schrammel's recommendation

Author: smowton

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