links to POPL'18 talk

[web.git] / personal / _layouts / post.html

diff --git a/personal/_layouts/post.html b/personal/_layouts/post.html
index ee717fbc4d8ef37047a047b55daada0b4a9b5004..652d476bd18fa9726b7778350dc6af60a0a3f7b7 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>
-    Comments? <a href="mailto:post-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?subject=Blog post comment: {{ page.title | uri_escape }}">Drop me a mail</a><!--
+      -->{% if page.reddit %} or <a href="https://www.reddit.com/r{{ page.reddit }}" target="_blank">leave a note on reddit</a>{% endif %}<!--
+      -->{% if page.forum %} or <a href="{{ page.forum }}" target="_blank">leave a note in the forum</a>{% endif %}!
 </p>