From 77a30f0440aefb6aa554a0a4c7f7b9ec1e144a82 Mon Sep 17 00:00:00 2001 From: Joel Allred Date: Fri, 1 Mar 2019 14:41:12 +0000 Subject: [PATCH] CODEOWNERS: C. Smowton in goto-symex and goto-instrument --- CODEOWNERS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CODEOWNERS b/CODEOWNERS index 16800b9630c..9be061177ef 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 +/src/goto-symex/ @kroening @tautschnig @peterschrammel @smowton /src/json/ @kroening @tautschnig @peterschrammel /src/langapi/ @kroening @tautschnig @peterschrammel /src/xmllang/ @kroening @tautschnig @peterschrammel @@ -41,7 +41,7 @@ /src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue /src/goto-harness/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue -/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue +/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue @smowton /src/goto-diff/ @tautschnig @peterschrammel /jbmc/src/jbmc/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel /jbmc/src/janalyzer/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel