Skip to content

Commit 836042f

Browse files
Merge pull request #4880 from diffblue/stl-codeowners
STL code owners
2 parents 7051df5 + 3d620ec commit 836042f

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
@@ -48,6 +48,7 @@
4848
/jbmc/src/jdiff/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel
4949
/src/cpp/ @kroening @tautschnig @peterschrammel
5050
/src/solvers/smt2 @kroening @martin-cs @tautschnig @peterschrammel @allredj @romainbrenguier
51+
/src/statement-list/ @kroening @tautschnig @peterschrammel @pkesseli
5152

5253

5354
# These files change frequently and changes are low-risk

0 commit comments

Comments
 (0)