link to compcert
[web.git] / personal / _layouts / post.html
index f07515e0dbe482256c46974d1d70f0e27d616760..652d476bd18fa9726b7778350dc6af60a0a3f7b7 100644 (file)
@@ -11,7 +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><!--
+    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>
       -->{% 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>