From: Ralf Jung <post@ralfj.de>
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?ds=inline;hp=4db18c6277dbbc4dcea5f25b74bf919db0da371b

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
 
 <p class="comment">
     Posted on <a href="{{ site.baseurl}}/blog">{{ site.blog.title }}</a> on {{ page.date | date: "%b %-d, %Y" }}. <br>
-    Comments? <a href="mailto:post+blog-AT-ralfj-DOT-de">Drop me a mail</a>{% if page.reddit %} or <a href="https://www.reddit.com/r{{ page.reddit }}">leave a note on reddit</a>{% endif %}!
+    Comments? <a href="mailto:post+blog-AT-ralfj-DOT-de">Drop me a mail</a><!--
+      -->{% if page.reddit %} or <a href="https://www.reddit.com/r{{ page.reddit }}">leave a note on reddit</a>{% endif %}<!--
+      -->{% if page.forum %} or <a href="{{ page.forum }}">leave a note in the forum</a>{% endif %}!
 </p>
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).