2025-03-02T15:23:11 auto update

tobie · Mar 2, 2025 · e18924d · e18924d
1 parent bf529f8
commit e18924d
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
@@ -87934,6 +87934,13 @@
         "publisher": "WG21",
         "source": "https://wg21.link/index.json"
     },
+    "EDIT7718": {
+        "title": "y gt",
+        "href": "https://wg21.link/edit7718",
+        "status": "closed",
+        "publisher": "WG21",
+        "source": "https://wg21.link/index.json"
+    },
     "EDIT772": {
         "title": "[impldef] Fixed index entry collation to support keys containing code",
         "href": "https://wg21.link/edit772",
@@ -265267,6 +265274,9 @@
     "WG21-EDIT7717": {
         "aliasOf": "EDIT7717"
     },
+    "WG21-EDIT7718": {
+        "aliasOf": "EDIT7718"
+    },
     "WG21-EDIT772": {
         "aliasOf": "EDIT772"
     },

diff --git a/test/ref-list.json b/test/ref-list.json
@@ -19886,6 +19886,7 @@
     "EDIT7715",
     "EDIT7716",
     "EDIT7717",
+    "EDIT7718",
     "EDIT772",
     "EDIT773",
     "EDIT774",
@@ -116497,6 +116498,7 @@
     "WG21-EDIT7715",
     "WG21-EDIT7716",
     "WG21-EDIT7717",
+    "WG21-EDIT7718",
     "WG21-EDIT772",
     "WG21-EDIT773",
     "WG21-EDIT774",