diff --git a/people/robamu.toml b/people/robamu.toml new file mode 100644 index 000000000..73ff0f486 --- /dev/null +++ b/people/robamu.toml @@ -0,0 +1,4 @@ +name = "Robin Mueller" +github = "robamu" +github-id = 31589589 +email = "robin.mueller.m@gmail.com" diff --git a/teams/wg-embedded-arm.toml b/teams/wg-embedded-arm.toml index 610ff9acc..8c0e0f3fa 100644 --- a/teams/wg-embedded-arm.toml +++ b/teams/wg-embedded-arm.toml @@ -11,6 +11,7 @@ members = [ "nchong-at-aws", "newAM", "raw-bin", + "robamu", "thalesfragoso", "therealprof", ] diff --git a/teams/wg-embedded.toml b/teams/wg-embedded.toml index c8e705863..7aa599c6a 100644 --- a/teams/wg-embedded.toml +++ b/teams/wg-embedded.toml @@ -29,6 +29,7 @@ members = [ "posborne", "raw-bin", "reitermarkus", + "robamu", "romancardenas", "rmsyn", "ryankurte",