Skip to content

Commit deae483

Browse files
TGWDBTGWDB
committed
Update with feedback from @tautschnig @thomasspriggs @NlightNFotis
Reduce a few ownership suggestions based on feedback from various existing/proposed codeowners: @tautschnig @thomasspriggs @NlightNFotis
1 parent d798a83 commit deae483

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

‎CODEOWNERS

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@
77
# These files should rarely change
88

99
/src/big-int/ @kroening
10-
/src/ansi-c/ @kroening @tautschnig @chrisr-diffblue @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
11-
/src/assembler/ @kroening @tautschnig @chrisr-diffblue @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
10+
/src/ansi-c/ @kroening @tautschnig @chrisr-diffblue @peterschrammel @thomasspriggs @TGWDB
11+
/src/assembler/ @kroening @tautschnig @chrisr-diffblue @peterschrammel
1212
/src/goto-cc/ @kroening @tautschnig @chrisr-diffblue
1313
/src/linking/ @kroening @tautschnig @chrisr-diffblue
1414
/src/memory-models/ @kroening @tautschnig

0 commit comments

Comments
 (0)