coding guidelines - add members 2026-05-27 (#661)

PLeVasseur · web-flow · commit 8ea2bf6517fc · 2026-05-27T08:29:50.000-04: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        |
 
