editorial: fix editors

w3c · Jan 5, 2024 · 1e4dde7 · 1e4dde7
1 parent 442ddbb
commit 1e4dde7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/index.html b/index.html
@@ -54,18 +54,18 @@
 			}
 		],
 		formerEditors: [
-		  {
+				{
 				name: "Michael Cooper",
 				company: "W3C",
 				companyURL: "http://www.w3.org",
-				w3cid: 34017
+				w3cid: 34017,
 				note: "Editor until 2023"
 			},
 			{
 				name: "Joanmarie Diggs",
 				company: "Igalia, S.L.",
 				companyURL: "https://www.igalia.com",
-				w3cid: 68182
+				w3cid: 68182,
 				note: "Editor until 2021"
 			},
 			{