Merge pull request #7513 from NlightNFotis/add_rust_codeowner

NlightNFotis · web-flow · commit 71faa2d4ad3d · 2023-02-01T16:53:28.000Z
Add myself as a codeowner for the Rust API
diff --git a/CODEOWNERS b/CODEOWNERS
@@ -45,6 +45,7 @@
 /src/analyses/ @martin-cs @peterschrammel @chris-ryder
 /src/pointer-analysis/ @martin-cs @peterschrammel @chris-ryder
 /src/libcprover-cpp @NlightNFotis @thomasspriggs @esteffin @TGWDB @peterschrammel
+/src/libcprover-rust @NlightNFotis @thomasspriggs @TGWDB @peterschrammel
 
 # These files change frequently and changes are medium-risk
 
