2024-11-05T19:17:42 auto update

tobie · Nov 5, 2024 · 9de9de5 · 9de9de5
1 parent 94204f2
commit 9de9de5
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
@@ -84608,6 +84608,13 @@
         "publisher": "WG21",
         "source": "https://wg21.link/index.json"
     },
+    "EDIT7371": {
+        "title": "2 typos in linalg mandates and preconditions sections",
+        "href": "https://wg21.link/edit7371",
+        "status": "open",
+        "publisher": "WG21",
+        "source": "https://wg21.link/index.json"
+    },
     "EDIT738": {
         "title": "[time.duration.comparisons] Fix index entry for duration operator<",
         "href": "https://wg21.link/edit738",
@@ -256341,6 +256348,9 @@
     "WG21-EDIT7370": {
         "aliasOf": "EDIT7370"
     },
+    "WG21-EDIT7371": {
+        "aliasOf": "EDIT7371"
+    },
     "WG21-EDIT738": {
         "aliasOf": "EDIT738"
     },

diff --git a/test/ref-list.json b/test/ref-list.json
@@ -18499,6 +18499,7 @@
     "EDIT7369",
     "EDIT737",
     "EDIT7370",
+    "EDIT7371",
     "EDIT738",
     "EDIT739",
     "EDIT74",
@@ -111020,6 +111021,7 @@
     "WG21-EDIT7369",
     "WG21-EDIT737",
     "WG21-EDIT7370",
+    "WG21-EDIT7371",
     "WG21-EDIT738",
     "WG21-EDIT739",
     "WG21-EDIT74",