Merge pull request diffblue#3420 from tautschnig/codeowners

Remove codeowners from delete_failing_smt2_solver_tests
peterschrammel · Nov 14, 2018 · ef0a5fc · ef0a5fc
2 parents 495b3ab + 37a0c93
commit ef0a5fc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CODEOWNERS b/CODEOWNERS
@@ -59,6 +59,7 @@
 /jbmc/regression/
 
 /scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel
+/scripts/delete_failing_smt2_solver_tests
 /scripts/expected_doxygen_warnings.txt
 
 /.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel