2024-12-30T15:22:47 auto update

tobie · Dec 30, 2024 · 90c9dd9 · 90c9dd9
1 parent 3ea0724
commit 90c9dd9
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
@@ -85819,6 +85819,13 @@
         "publisher": "WG21",
         "source": "https://wg21.link/index.json"
     },
+    "EDIT7527": {
+        "title": "[lex.icon][depr.locale.category] Redundant \"table\"",
+        "href": "https://wg21.link/edit7527",
+        "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",
@@ -260982,6 +260989,9 @@
     "WG21-EDIT7526": {
         "aliasOf": "EDIT7526"
     },
+    "WG21-EDIT7527": {
+        "aliasOf": "EDIT7527"
+    },
     "WG21-EDIT753": {
         "aliasOf": "EDIT753"
     },

diff --git a/test/ref-list.json b/test/ref-list.json
@@ -19030,6 +19030,7 @@
     "EDIT7524",
     "EDIT7525",
     "EDIT7526",
+    "EDIT7527",
     "EDIT753",
     "EDIT754",
     "EDIT755",
@@ -113226,6 +113227,7 @@
     "WG21-EDIT7524",
     "WG21-EDIT7525",
     "WG21-EDIT7526",
+    "WG21-EDIT7527",
     "WG21-EDIT753",
     "WG21-EDIT754",
     "WG21-EDIT755",