We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9f506b2 commit d39d57dCopy full SHA for d39d57d
CODEOWNERS
@@ -38,7 +38,7 @@
38
/jbmc/src/java_bytecode/ @romainbrenguier @peterschrammel
39
/src/analyses/ @martin-cs @peterschrammel @chris-ryder
40
/src/pointer-analysis/ @martin-cs @peterschrammel @chris-ryder
41
-/cpp_api/ @diffblue/diffblue-opensource
+/cpp_api/ @NlightNFotis @thomasspriggs @esteffin @TGWDB @peterschrammel
42
43
# These files change frequently and changes are medium-risk
44
0 commit comments