From 98ea116b7ff5f110b6141a6d2d87fb6ec1acaf0b Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 28 Sep 2020 19:02:29 +0200 Subject: [PATCH] add Reddit link --- ralf/_posts/2020-09-28-miri.md | 1 + 1 file changed, 1 insertion(+) diff --git a/ralf/_posts/2020-09-28-miri.md b/ralf/_posts/2020-09-28-miri.md index 8dc5e4c..62f3759 100644 --- a/ralf/_posts/2020-09-28-miri.md +++ b/ralf/_posts/2020-09-28-miri.md @@ -1,6 +1,7 @@ --- title: "What (not so) recently happened in Miri" categories: rust +reddit: /rust/comments/j1fxd3/what_not_so_recently_happened_in_miri/ --- A lot has happened in Miri over the last year and a half, and I figured it would be a good idea to advertise all this progress a bit more widely, so here we go. -- 2.30.2