2024-12-23T11:20:59 auto update

tobie · Dec 23, 2024 · d9d3ad7 · d9d3ad7
1 parent 22b98b2
commit d9d3ad7
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
@@ -85728,6 +85728,13 @@
         "publisher": "WG21",
         "source": "https://wg21.link/index.json"
     },
+    "EDIT7515": {
+        "title": "Fix concept markup",
+        "href": "https://wg21.link/edit7515",
+        "status": "open",
+        "publisher": "WG21",
+        "source": "https://wg21.link/index.json"
+    },
     "EDIT752": {
         "title": "[basic.lookup] Fix typos",
         "href": "https://wg21.link/edit752",
@@ -260859,6 +260866,9 @@
     "WG21-EDIT7514": {
         "aliasOf": "EDIT7514"
     },
+    "WG21-EDIT7515": {
+        "aliasOf": "EDIT7515"
+    },
     "WG21-EDIT752": {
         "aliasOf": "EDIT752"
     },

diff --git a/test/ref-list.json b/test/ref-list.json
@@ -18929,6 +18929,7 @@
     "EDIT7512",
     "EDIT7513",
     "EDIT7514",
+    "EDIT7515",
     "EDIT752",
     "EDIT753",
     "EDIT754",
@@ -112349,6 +112350,7 @@
     "WG21-EDIT7512",
     "WG21-EDIT7513",
     "WG21-EDIT7514",
+    "WG21-EDIT7515",
     "WG21-EDIT752",
     "WG21-EDIT753",
     "WG21-EDIT754",