2024-11-19T09:17:53 auto update

tobie · Nov 19, 2024 · 0904f24 · 0904f24
1 parent 6a4ea81
commit 0904f24
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
@@ -84811,6 +84811,13 @@
         "publisher": "WG21",
         "source": "https://wg21.link/index.json"
     },
+    "EDIT7398": {
+        "title": "[flat.map.defn, flat.set.defn] Avoid naming the `from_range_t` tag",
+        "href": "https://wg21.link/edit7398",
+        "status": "open",
+        "publisher": "WG21",
+        "source": "https://wg21.link/index.json"
+    },
     "EDIT74": {
         "title": "\"integral literal\" should be \"integer literal\"",
         "href": "https://wg21.link/edit74",
@@ -256617,6 +256624,9 @@
     "WG21-EDIT7397": {
         "aliasOf": "EDIT7397"
     },
+    "WG21-EDIT7398": {
+        "aliasOf": "EDIT7398"
+    },
     "WG21-EDIT74": {
         "aliasOf": "EDIT74"
     },

diff --git a/test/ref-list.json b/test/ref-list.json
@@ -18724,6 +18724,7 @@
     "EDIT7395",
     "EDIT7396",
     "EDIT7397",
+    "EDIT7398",
     "EDIT74",
     "EDIT740",
     "EDIT741",
@@ -111433,6 +111434,7 @@
     "WG21-EDIT7395",
     "WG21-EDIT7396",
     "WG21-EDIT7397",
+    "WG21-EDIT7398",
     "WG21-EDIT74",
     "WG21-EDIT740",
     "WG21-EDIT741",