X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/ef6e8c8b42d1cc4141bac017f8d6138b212cc54a..2e0eefb0dafad1c1199f23394318ccbae5337340:/personal/_posts/2020-09-28-miri.md

diff --git a/personal/_posts/2020-09-28-miri.md b/personal/_posts/2020-09-28-miri.md
index 8dc5e4c..62f3759 100644
--- a/personal/_posts/2020-09-28-miri.md
+++ b/personal/_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.