Skip to content

Commit 367b8ff

Browse files
committed
Add myself as a codeowner for the Rust API to allow for faster moving of the project.
1 parent 9b681ad commit 367b8ff

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

CODEOWNERS

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -45,6 +45,7 @@
4545
/src/analyses/ @martin-cs @peterschrammel @chris-ryder
4646
/src/pointer-analysis/ @martin-cs @peterschrammel @chris-ryder
4747
/src/libcprover-cpp @NlightNFotis @thomasspriggs @esteffin @TGWDB @peterschrammel
48+
/src/libcprover-rust @NlightNFotis
4849

4950
# These files change frequently and changes are medium-risk
5051

0 commit comments

Comments
 (0)