X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/99b016f4e15bde5b5cbd85815813c71b949f97fe..fe5412bcf89fc8d86528a84e7d404263e80abdaf:/personal/_posts/2017-07-08-rustbelt.md?ds=inline

diff --git a/personal/_posts/2017-07-08-rustbelt.md b/personal/_posts/2017-07-08-rustbelt.md
index 48adba1..68ebf71 100644
--- a/personal/_posts/2017-07-08-rustbelt.md
+++ b/personal/_posts/2017-07-08-rustbelt.md
@@ -1,6 +1,7 @@
 ---
 title: "RustBelt: Securing the Foundations of the Rust Programming Language"
 categories: research rust
+forum: https://internals.rust-lang.org/
 ---
 
 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).