Update of ED report from new reffy run

Using reffy commit 13.1.2.
w3c · Jul 15, 2023 · 38f7534 · 38f7534
1 parent 434a3e0
commit 38f7534
Show file tree

Hide file tree

Showing 5 changed files with 1,163 additions and 396 deletions.
diff --git a/ed/headings/web-bluetooth.json b/ed/headings/web-bluetooth.json
@@ -381,12 +381,6 @@
       "level": 3,
       "title": "Document conventions"
     },
-    {
-      "id": "w3c-conformant-algorithms",
-      "href": "https://webbluetoothcg.github.io/web-bluetooth/#w3c-conformant-algorithms",
-      "level": 3,
-      "title": "Conformant Algorithms"
-    },
     {
       "id": "index",
       "href": "https://webbluetoothcg.github.io/web-bluetooth/#index",