Update of ED report from new reffy run

Using reffy commit 13.1.0.
Ashegham · Jun 7, 2023 · 2c8bb78 · 2c8bb78
1 parent 5862b8b
commit 2c8bb78
Show file tree

Hide file tree

Showing 26 changed files with 6,473 additions and 1,026 deletions.
diff --git a/ed/dfns/client-hints-infrastructure.json b/ed/dfns/client-hints-infrastructure.json
@@ -119,10 +119,10 @@
       "definedIn": "prose"
     },
     {
-      "id": "abstract-opdef-should-reload-page-for-critical-client-hints",
-      "href": "https://wicg.github.io/client-hints-infrastructure/#abstract-opdef-should-reload-page-for-critical-client-hints",
+      "id": "abstract-opdef-should-restart-loading-the-page-for-critical-client-hints",
+      "href": "https://wicg.github.io/client-hints-infrastructure/#abstract-opdef-should-restart-loading-the-page-for-critical-client-hints",
       "linkingText": [
-        "should reload page for critical client hints"
+        "should restart loading the page for critical client hints"
       ],
       "localLinkingText": [],
       "type": "abstract-op",
@@ -157,10 +157,10 @@
       "definedIn": "heading"
     },
     {
-      "id": "has-reloaded-for-critical-ch",
-      "href": "https://wicg.github.io/client-hints-infrastructure/#has-reloaded-for-critical-ch",
+      "id": "critical-ch-restart-time",
+      "href": "https://wicg.github.io/client-hints-infrastructure/#critical-ch-restart-time",
       "linkingText": [
-        "has reloaded for Critical-CH"
+        "Critical-CH restart time"
       ],
       "localLinkingText": [],
       "type": "dfn",