2025-01-18T21:22:11 auto update

tobie · Jan 18, 2025 · 95c09fe · 95c09fe
1 parent fa75e30
commit 95c09fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/refs/wg21.json b/refs/wg21.json
@@ -86810,7 +86810,7 @@
     "EDIT7573": {
         "title": "[rand.dist.samp.pconst,rand.dist.samp.plinear,simd.alg] Fix indentation",
         "href": "https://wg21.link/edit7573",
-        "status": "open",
+        "status": "closed",
         "publisher": "WG21",
         "source": "https://wg21.link/index.json"
     },