Skip to content

Remove former members from people list#293

Merged
patzielinski merged 4 commits into
secure-systems-lab:masterfrom
Marc-cn:change-people
Jun 30, 2026
Merged

Remove former members from people list#293
patzielinski merged 4 commits into
secure-systems-lab:masterfrom
Marc-cn:change-people

Remove Naman Badlani from people list

de2eac4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
test-yaml
succeeded Jun 30, 2026 in 12s