2024-11-01T08:17:48 auto update

tobie · Nov 1, 2024 · 65ec53d · 65ec53d
1 parent 8c7dd8e
commit 65ec53d
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/refs/wg21.json b/refs/wg21.json
@@ -84538,6 +84538,13 @@
         "publisher": "WG21",
         "source": "https://wg21.link/index.json"
     },
+    "EDIT7362": {
+        "title": "[basic.compound] Update introduction",
+        "href": "https://wg21.link/edit7362",
+        "status": "open",
+        "publisher": "WG21",
+        "source": "https://wg21.link/index.json"
+    },
     "EDIT737": {
         "title": "23.2.5[unord.req]p12 should refer to key_eq(), not key_equal()",
         "href": "https://wg21.link/edit737",
@@ -256248,6 +256255,9 @@
     "WG21-EDIT7361": {
         "aliasOf": "EDIT7361"
     },
+    "WG21-EDIT7362": {
+        "aliasOf": "EDIT7362"
+    },
     "WG21-EDIT737": {
         "aliasOf": "EDIT737"
     },

diff --git a/test/ref-list.json b/test/ref-list.json
@@ -18487,6 +18487,7 @@
     "EDIT736",
     "EDIT7360",
     "EDIT7361",
+    "EDIT7362",
     "EDIT737",
     "EDIT738",
     "EDIT739",
@@ -110979,6 +110980,7 @@
     "WG21-EDIT736",
     "WG21-EDIT7360",
     "WG21-EDIT7361",
+    "WG21-EDIT7362",
     "WG21-EDIT737",
     "WG21-EDIT738",
     "WG21-EDIT739",