Commit a229942
committed
Add codeowners of
So that those who can approve changes to the smt2 solver support can
also approve adding / removing / renaming `.cpp` files in those
subdirectories. The list of codeowners is based on the global code
owners plus the smt2 code owners. This is as suggested by Michael
Tautschnig here -
#6415 (comment)/src/solvers/makefile
1 parent 73e271e commit a229942
1 file changed
+1
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
56 | 56 | | |
57 | 57 | | |
58 | 58 | | |
| 59 | + | |
59 | 60 | | |
60 | 61 | | |
61 | 62 | | |
| |||
0 commit comments