Skip to content

Commit 578765e

Browse files
committed
Fix capitalisation of Makefile in CODEOWNERS
Additional reviewers were being requested, because the lower case rule was not being matched against the actual file name.
1 parent d46f705 commit 578765e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

CODEOWNERS

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@
5656
/src/cpp/ @kroening @tautschnig @peterschrammel
5757
/src/solvers/smt2 @kroening @martin-cs @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
5858
/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @chrisr-diffblue
59-
/src/solvers/makefile @kroening @tautschnig @peterschrammel @chrisr-diffblue @thomasspriggs @NlightNFotis @TGWDB
59+
/src/solvers/Makefile @kroening @tautschnig @peterschrammel @chrisr-diffblue @thomasspriggs @NlightNFotis @TGWDB
6060
/src/statement-list/ @kroening @tautschnig @peterschrammel @pkesseli
6161

6262
/cmake/ @diffblue/diffblue-opensource

0 commit comments

Comments
 (0)