Merge pull request #7482 from NlightNFotis/codeowners_change

Changes to CODEOWNERS

Author: NlightNFotis

CODEOWNERS

@@ -6,7 +6,7 @@
 
 # Documentation can be reviewed by people with broad project responsibility
 
-/doc/ @jimgrundy @TGWDB @kroening @tautschnig @peterschrammel
+/doc/ @jimgrundy @TGWDB @kroening @tautschnig @peterschrammel @nlightnfotis
 
 
 # These files should rarely change
@@ -63,7 +63,7 @@
 /src/solvers/smt2 @kroening @martin-cs @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
 /src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @chris-ryder
 /src/solvers/Makefile @kroening @tautschnig @peterschrammel @chris-ryder @thomasspriggs @NlightNFotis @TGWDB
-/src/statement-list/ @kroening @tautschnig @peterschrammel @pkesseli
+/src/statement-list/ @kroening @tautschnig @peterschrammel
 
 /cmake/        @diffblue/diffblue-opensource
 CMakeLists.txt @diffblue/diffblue-opensource