Merge pull request #241 from mjwilson-google/editor-maintenance

Move Jussi to former editor, add URL for Michael
WebAudio · Sep 14, 2023 · 95f6dc7 · 95f6dc7
2 parents e0db063 + 7510d80
commit 95f6dc7
Showing 1 changed file with 8 additions and 5 deletions.
diff --git a/index.html b/index.html
@@ -19,15 +19,18 @@
             company: "Google",
             companyURL: "http://google.com"
           },
+          { name: "Michael Wilson",
+            url: "mailto:[email protected]",
+            w3cid: "136815",
+            company: "Google",
+            companyURL: "http://google.com"
+          },
+        ],
+        formerEditors: [
           { name: "Jussi Kalliokoski",
             url: "http://juss.in",
             w3cid: "45545"
           },
-          { name: "Michael Wilson",
-           w3cid: "136815",
-           company: "Google",
-           companyURL: "http://google.com"
-          },
         ],
         github: "WebAudio/web-midi-api",
         group: "wg/audio",