Merge pull request #5466 from hannes-steffenhagen-diffblue/make-myself-cmakelists-codeowner

NlightNFotis · web-flow · commit 03e77f71ad6b · 2020-08-19T15:07:26.000+01:00
Make myself codeowner for CMake files
diff --git a/CODEOWNERS b/CODEOWNERS
@@ -50,6 +50,8 @@
 /src/solvers/smt2 @kroening @martin-cs @tautschnig @peterschrammel @allredj @romainbrenguier
 /src/statement-list/ @kroening @tautschnig @peterschrammel @pkesseli
 
+/cmake/        @hannes-steffenhagen-diffblue
+CMakeLists.txt @hannes-steffenhagen-diffblue
 
 # These files change frequently and changes are low-risk
 
