2025-02-11T23:23:05 auto update

tobie · Feb 11, 2025 · 9993722 · 9993722
1 parent 6f407b9
commit 9993722
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
@@ -87262,6 +87262,13 @@
         "publisher": "WG21",
         "source": "https://wg21.link/index.json"
     },
+    "EDIT7631": {
+        "title": "[xrefdelta] Consolidate restored entries",
+        "href": "https://wg21.link/edit7631",
+        "status": "open",
+        "publisher": "WG21",
+        "source": "https://wg21.link/index.json"
+    },
     "EDIT764": {
         "title": "[overloading] Make operators appear in code font",
         "href": "https://wg21.link/edit764",
@@ -264310,6 +264317,9 @@
     "WG21-EDIT7630": {
         "aliasOf": "EDIT7630"
     },
+    "WG21-EDIT7631": {
+        "aliasOf": "EDIT7631"
+    },
     "WG21-EDIT764": {
         "aliasOf": "EDIT764"
     },

diff --git a/test/ref-list.json b/test/ref-list.json
@@ -19725,6 +19725,7 @@
     "EDIT7629",
     "EDIT763",
     "EDIT7630",
+    "EDIT7631",
     "EDIT764",
     "EDIT765",
     "EDIT766",
@@ -116010,6 +116011,7 @@
     "WG21-EDIT7629",
     "WG21-EDIT763",
     "WG21-EDIT7630",
+    "WG21-EDIT7631",
     "WG21-EDIT764",
     "WG21-EDIT765",
     "WG21-EDIT766",