From: Ralf Jung <post@ralfj.de>
Date: Sat, 8 Jul 2017 21:12:07 +0000 (-0700)
Subject: add forum link
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/c2648f67ef45f386a64f10f6550be9f07c7740b3?ds=inline;hp=6fe6973b88d40361bba759f22f074f9ef75f8d8f

add forum link
---

diff --git a/personal/_posts/2017-07-08-rustbelt.md b/personal/_posts/2017-07-08-rustbelt.md
index 474224b..a37df23 100644
--- a/personal/_posts/2017-07-08-rustbelt.md
+++ b/personal/_posts/2017-07-08-rustbelt.md
@@ -1,7 +1,7 @@
 ---
 title: "RustBelt: Securing the Foundations of the Rust Programming Language"
 categories: research rust
-forum: https://internals.rust-lang.org/
+forum: https://internals.rust-lang.org/t/rustbelt-securing-the-foundations-of-the-rust-programming-language/5509
 ---
 
 Just yesterday, we submitted our paper [RustBelt: Securing the Foundations of the Rust Programming Language](https://www.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf).