support forum links in blog posts
[web.git] / personal / _posts / 2017-07-08-rustbelt.md
index 48adba147d002469240f214ddd06e9e88870d939..68ebf71722564576b50547262bc6aa67395020a5 100644 (file)
@@ -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).