Merge pull request #8166 from tautschnig/bugfixes/codeowners

Remove non-existent user from CODEOWNERS
diffblue · Jan 22, 2024 · 79fafbe · 79fafbe
2 parents 1d8bddd + c0ac670
commit 79fafbe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CODEOWNERS b/CODEOWNERS
@@ -6,7 +6,7 @@
 
 # Documentation can be reviewed by people with broad project responsibility
 
-/doc/ @jimgrundy @TGWDB @kroening @tautschnig @peterschrammel @nlightnfotis
+/doc/ @jimgrundy @TGWDB @kroening @tautschnig @peterschrammel
 
 
 # These files should rarely change