support forum links in blog posts
authorRalf Jung <post@ralfj.de>
Sat, 8 Jul 2017 21:06:06 +0000 (14:06 -0700)
committerRalf Jung <post@ralfj.de>
Sat, 8 Jul 2017 21:06:06 +0000 (14:06 -0700)
ralf/_layouts/post.html
ralf/_posts/2017-07-08-rustbelt.md

index d9e0877..d361782 100644 (file)
@@ -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>
index 48adba1..68ebf71 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).