From 3cfb9b10931fa04f01d196f1192fa738520d5b0a Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 8 Jul 2017 14:06:06 -0700 Subject: [PATCH 1/1] support forum links in blog posts --- ralf/_layouts/post.html | 4 +++- ralf/_posts/2017-07-08-rustbelt.md | 1 + 2 files changed, 4 insertions(+), 1 deletion(-) 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). -- 2.30.2