Config updates

w3c · Oct 17, 2018 · deb3d75 · deb3d75
1 parent 13d6b02
commit deb3d75
Showing 1 changed file with 8 additions and 5 deletions.
diff --git a/w3c.json b/w3c.json
@@ -1,6 +1,9 @@
 {
-  "group":     45211
-, "contacts":  ["plehegar"]
-, "shortName": "navigation-timing"
-, "policy":    "open"
-}
+  "group": 45211,
+  "contacts": [
+    "plehegar"
+  ],
+  "shortName": "navigation-timing",
+  "policy": "open",
+  "repo-type": "rec-track"
+}