Skip to content

Commit 0e7d075

Browse files
committed
coding guidelines members update 2026-06-03
1 parent 8269605 commit 0e7d075

2 files changed

Lines changed: 6 additions & 0 deletions

File tree

arewesafetycriticalyet.org/docs/coding_guidelines/2_members.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -70,4 +70,7 @@
7070
| Raiki Tamura | Individual | Observer | @tamaroning |
7171
| Michael Henn | Hensoldt | Observer | @mhennsldt |
7272
| Mira Baumann | Individual | Producer | @inkreasing |
73+
| Daniel Dia | Individual | Producer | @danieldia-dev |
74+
| Kangwon Lee | Individual | Observer | @kangwonlee |
75+
| Marcos Borges, PhD | Individual | Producer | @MarcosBorgesPhD |
7376

subcommittee/coding-guidelines/members.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -70,4 +70,7 @@
7070
| Raiki Tamura | Individual | Observer | @tamaroning |
7171
| Michael Henn | Hensoldt | Observer | @mhennsldt |
7272
| Mira Baumann | Individual | Producer | @inkreasing |
73+
| Daniel Dia | Individual | Producer | @danieldia-dev |
74+
| Kangwon Lee | Individual | Observer | @kangwonlee |
75+
| Marcos Borges, PhD | Individual | Producer | @MarcosBorgesPhD |
7376

0 commit comments

Comments
 (0)