| commit | b520a7fc9ccfc0db96ac191b70d1c1e7e38f1ce4 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Mon Jan 08 17:10:02 2024 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Mon Jan 08 17:10:02 2024 -0500 |
| tree | 3d2e06e08c90a6c021e390a207a846edb318ec7b | |
| parent | 5f50b21cef8df2b4ce2523c4a682e6897e540a9e [diff] |
Move label "Verified-Integration" to All-Projects