From 3d28e49ccfed5ff71945128e8891277097b04304 Mon Sep 17 00:00:00 2001
From: Hannes Steffenhagen <hannes.steffenhagen@diffblue.com>
Date: Wed, 19 Aug 2020 12:22:27 +0100
Subject: [PATCH] Make myself codeowner for CMake files

---
 CODEOWNERS | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CODEOWNERS b/CODEOWNERS
index 4ab99f272e0..7decf553d3c 100644
--- 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