From 13fa8b7bc7d3b0340c8d57977ef4bd9c45f71b46 Mon Sep 17 00:00:00 2001 From: Thomas Given-Wilson Date: Mon, 21 Aug 2023 11:44:28 +0100 Subject: [PATCH] Add @esteffin to a few areas of the codebase This mostly improves coverage where @esteffin should be listed. --- CODEOWNERS | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/CODEOWNERS b/CODEOWNERS index 71bf8268d47..db535952710 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -45,7 +45,7 @@ /src/analyses/ @martin-cs @peterschrammel /src/pointer-analysis/ @martin-cs @peterschrammel /src/libcprover-cpp @NlightNFotis @thomasspriggs @esteffin @TGWDB @peterschrammel -/src/libcprover-rust @NlightNFotis @thomasspriggs @TGWDB @peterschrammel +/src/libcprover-rust @NlightNFotis @thomasspriggs @TGWDB @peterschrammel @esteffin # These files change frequently and changes are medium-risk @@ -64,8 +64,8 @@ /jbmc/src/jdiff/ @peterschrammel /src/cpp/ @kroening @tautschnig @peterschrammel /src/solvers/smt2 @kroening @martin-cs @peterschrammel @thomasspriggs @NlightNFotis @TGWDB -/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB -/src/solvers/Makefile @kroening @tautschnig @peterschrammel @thomasspriggs @NlightNFotis @TGWDB +/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @esteffin +/src/solvers/Makefile @kroening @tautschnig @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @esteffin /src/statement-list/ @kroening @tautschnig @peterschrammel /cmake/ @diffblue/diffblue-opensource