2024-12-23T20:23:39 auto update

tobie · Dec 23, 2024 · e6292dc · e6292dc
1 parent 295219b
commit e6292dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/refs/wg21.json b/refs/wg21.json
@@ -85738,7 +85738,7 @@
     "EDIT7516": {
         "title": "[stoptoken.concepts] Add \\tcode for terminate",
         "href": "https://wg21.link/edit7516",
-        "status": "open",
+        "status": "closed",
         "publisher": "WG21",
         "source": "https://wg21.link/index.json"
     },