Commit 76de216
committed
Change ownership of
The team this was assigned under is no longer exists under the @diffblue namespace,
so changing this to default to the Open Source team within Diffblue, responsible
for CBMC maintenance.scripts/ from non-existing team to the Diffblue Open Source team.1 parent c3250a8 commit 76de216
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
71 | 71 | | |
72 | 72 | | |
73 | 73 | | |
74 | | - | |
| 74 | + | |
75 | 75 | | |
76 | 76 | | |
77 | 77 | | |
| |||
0 commit comments