support forum links in blog posts

diff --git a/personal/_layouts/post.html b/personal/_layouts/post.html
index d9e0877ea08c08b2ce9bdbd48e12aa7417fd171b..d36178268c3f8bae5ca1f8356c23aef71afb5503 100644 (file)
--- a/personal/_layouts/post.html
+++ b/personal/_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>
 
 <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>
 </p>

diff --git a/personal/_posts/2017-07-08-rustbelt.md b/personal/_posts/2017-07-08-rustbelt.md
index 48adba147d002469240f214ddd06e9e88870d939..68ebf71722564576b50547262bc6aa67395020a5 100644 (file)
--- 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
 ---
 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).
 ---
 
 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).