2024-12-29T00:41:00 auto update

tobie · Dec 29, 2024 · 229d4bb · 229d4bb
1 parent a7e1d70
commit 229d4bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/refs/wg21.json b/refs/wg21.json
@@ -85773,7 +85773,7 @@
     "EDIT7520": {
         "title": "[class.expl.init] Fix incorrect note",
         "href": "https://wg21.link/edit7520",
-        "status": "open",
+        "status": "closed",
         "publisher": "WG21",
         "source": "https://wg21.link/index.json"
     },