Add jonas-schievink as embedded WG member (#185)

therealprof · nikomatsakis · commit 663555bc86da · 2019-12-09T16:46:14.000-05:00
Signed-off-by: Daniel Egger &lt;daniel@eggers-club.de&gt;
diff --git a/teams/wg-embedded.toml b/teams/wg-embedded.toml
@@ -19,6 +19,7 @@ members = [
     "jamesmunns",
     "japaric",
     "jcsoo",
+    "jonas-schievink",
     "korken89",
     "nastevens",
     "paoloteti",
