add Reddit link
authorRalf Jung <post@ralfj.de>
Mon, 28 Sep 2020 17:02:29 +0000 (19:02 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 28 Sep 2020 17:02:29 +0000 (19:02 +0200)
ralf/_posts/2020-09-28-miri.md

index 8dc5e4c6b9ce756bc1e05d57d56ab5a1b354e0ce..62f3759ebbe39dd5f9fee676950f671d7e30a4e2 100644 (file)
@@ -1,6 +1,7 @@
 ---
 title: "What (not so) recently happened in Miri"
 categories: rust
 ---
 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.
 ---
 
 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.