From: Ralf Jung Date: Sat, 8 Jul 2017 21:06:06 +0000 (-0700) Subject: support forum links in blog posts X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/3cfb9b10931fa04f01d196f1192fa738520d5b0a support forum links in blog posts --- diff --git a/ralf/_layouts/post.html b/ralf/_layouts/post.html index d9e0877..d361782 100644 --- a/ralf/_layouts/post.html +++ b/ralf/_layouts/post.html @@ -11,5 +11,7 @@ layout: default

Posted on {{ site.blog.title }} on {{ page.date | date: "%b %-d, %Y" }}.
- Comments? Drop me a mail{% if page.reddit %} or leave a note on reddit{% endif %}! + Comments? Drop me a mail{% if page.reddit %} or leave a note on reddit{% endif %}{% if page.forum %} or leave a note in the forum{% endif %}!

diff --git a/ralf/_posts/2017-07-08-rustbelt.md b/ralf/_posts/2017-07-08-rustbelt.md index 48adba1..68ebf71 100644 --- a/ralf/_posts/2017-07-08-rustbelt.md +++ b/ralf/_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).