STL code owners

pkesseli · pkesseli · commit 3d620ecdd6d3 · 2019-07-08T16:14:22.000+02:00
Define code owners for `src/statement-list`.
diff --git a/CODEOWNERS b/CODEOWNERS
@@ -48,6 +48,7 @@
 /jbmc/src/jdiff/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel
 /src/cpp/ @kroening @tautschnig @peterschrammel
 /src/solvers/smt2 @kroening @martin-cs @tautschnig @peterschrammel @allredj @romainbrenguier
+/src/statement-list/ @kroening @tautschnig @peterschrammel @pkesseli
 
 
 # These files change frequently and changes are low-risk
