From: Ralf Jung <post@ralfj.de>
Date: Mon, 22 Dec 2025 16:16:54 +0000 (+0100)
Subject: tweak title, and add reddit link
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/9dea83eda92c22ca510e31f38caa5c0c83ba82b3?ds=inline

tweak title, and add reddit link
---

diff --git a/personal/_posts/2025-12-22-miri.md b/personal/_posts/2025-12-22-miri.md
index efdca9c..00fb7ff 100644
--- a/personal/_posts/2025-12-22-miri.md
+++ b/personal/_posts/2025-12-22-miri.md
@@ -1,6 +1,7 @@
 ---
-title: "A paper about Miri, and other Miri news"
+title: "What's \"new\" in Miri (and also, there's a Miri paper!)"
 categories: rust
+reddit: /rust/comments/1pt3kfx/whats_new_in_miri_and_also_theres_a_miri_paper/
 ---
 
 It is time for another "what is happening in Miri" post.