2024-12-26T01:52:06 auto update

tobie · Dec 26, 2024 · f147328 · f147328
1 parent e665a2c
commit f147328
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
@@ -85770,6 +85770,13 @@
         "publisher": "WG21",
         "source": "https://wg21.link/index.json"
     },
+    "EDIT7520": {
+        "title": "[class.expl.init] Fix incorrect note",
+        "href": "https://wg21.link/edit7520",
+        "status": "open",
+        "publisher": "WG21",
+        "source": "https://wg21.link/index.json"
+    },
     "EDIT753": {
         "title": "[18-20,27] Prefer to use 'override' where appropriate",
         "href": "https://wg21.link/edit753",
@@ -260912,6 +260919,9 @@
     "WG21-EDIT752": {
         "aliasOf": "EDIT752"
     },
+    "WG21-EDIT7520": {
+        "aliasOf": "EDIT7520"
+    },
     "WG21-EDIT753": {
         "aliasOf": "EDIT753"
     },

diff --git a/test/ref-list.json b/test/ref-list.json
@@ -19017,6 +19017,7 @@
     "EDIT7518",
     "EDIT7519",
     "EDIT752",
+    "EDIT7520",
     "EDIT753",
     "EDIT754",
     "EDIT755",
@@ -113196,6 +113197,7 @@
     "WG21-EDIT7518",
     "WG21-EDIT7519",
     "WG21-EDIT752",
+    "WG21-EDIT7520",
     "WG21-EDIT753",
     "WG21-EDIT754",
     "WG21-EDIT755",