From 9dea83eda92c22ca510e31f38caa5c0c83ba82b3 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 22 Dec 2025 17:16:54 +0100 Subject: [PATCH] tweak title, and add reddit link --- personal/_posts/2025-12-22-miri.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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. -- 2.39.5