coding guidelines - add members 2026-05-27

PLeVasseur · PLeVasseur · commit a02e7367c3f1 · 2026-05-27T21:25:45.000+09:00
diff --git a/arewesafetycriticalyet.org/docs/coding_guidelines/members.md b/arewesafetycriticalyet.org/docs/coding_guidelines/members.md
@@ -69,4 +69,5 @@
 | Jason Newcomb              | Rust Project - Clippy Team             | Producer                    | @Jarcho            |
 | Raiki Tamura               | Individual                             | Observer                    | @tamaroning        |
 | Michael Henn               | Hensoldt                               | Observer                    | @mhennsldt         |
+| Mira Baumann               | Individual                             | Producer                    | @inkreasing        |
 
diff --git a/subcommittee/coding-guidelines/members.md b/subcommittee/coding-guidelines/members.md
@@ -69,4 +69,5 @@
 | Jason Newcomb              | Rust Project - Clippy Team             | Producer                    | @Jarcho            |
 | Raiki Tamura               | Individual                             | Observer                    | @tamaroning        |
 | Michael Henn               | Hensoldt                               | Observer                    | @mhennsldt         |
+| Mira Baumann               | Individual                             | Producer                    | @inkreasing        |
 
