2024-11-18T16:17:24 auto update

tobie · Nov 18, 2024 · 75fcb2c · 75fcb2c
1 parent 51de02c
commit 75fcb2c
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
@@ -84804,6 +84804,13 @@
         "publisher": "WG21",
         "source": "https://wg21.link/index.json"
     },
+    "EDIT7397": {
+        "title": "[temp.constr.normal] Use `\\cdots` to produce an ellipsis",
+        "href": "https://wg21.link/edit7397",
+        "status": "open",
+        "publisher": "WG21",
+        "source": "https://wg21.link/index.json"
+    },
     "EDIT74": {
         "title": "\"integral literal\" should be \"integer literal\"",
         "href": "https://wg21.link/edit74",
@@ -256607,6 +256614,9 @@
     "WG21-EDIT7396": {
         "aliasOf": "EDIT7396"
     },
+    "WG21-EDIT7397": {
+        "aliasOf": "EDIT7397"
+    },
     "WG21-EDIT74": {
         "aliasOf": "EDIT74"
     },

diff --git a/test/ref-list.json b/test/ref-list.json
@@ -18561,6 +18561,7 @@
     "EDIT7394",
     "EDIT7395",
     "EDIT7396",
+    "EDIT7397",
     "EDIT74",
     "EDIT740",
     "EDIT741",
@@ -111257,6 +111258,7 @@
     "WG21-EDIT7394",
     "WG21-EDIT7395",
     "WG21-EDIT7396",
+    "WG21-EDIT7397",
     "WG21-EDIT74",
     "WG21-EDIT740",
     "WG21-EDIT741",