Remove non-existent user from CODEOWNERS

tautschnig · tautschnig · commit c0ac67036b5b · 2024-01-22T15:43:11.000Z
This used incorrect casing back when introduced in d2bbf05, and therefore never was effective. This commit, therefore, does not change ownership, it just avoids a warning.
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
