From: Ralf Jung <post@ralfj.de>
Date: Fri, 9 Jun 2017 21:10:10 +0000 (-0700)
Subject: add reddit URL
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/3cb8ba9836b0d98b23a73f8cd658534a023f891a?hp=bbe263b1fc33b660daf4d72415b17c41f8438b8b

add reddit URL
---

diff --git a/personal/_posts/2017-06-09-mutexguard-sync.md b/personal/_posts/2017-06-09-mutexguard-sync.md
index a01980f..62ac7de 100644
--- a/personal/_posts/2017-06-09-mutexguard-sync.md
+++ b/personal/_posts/2017-06-09-mutexguard-sync.md
@@ -1,6 +1,7 @@
 ---
 title: How MutexGuard was Sync When It Should Not Have Been
 categories: rust
+reddit: /rust/comments/6gavfe/how_mutexguard_was_sync_when_it_should_not_have/
 ---
 
 A couple of weeks ago, our ongoing effort to [formalize Rust's type system]({{ site.baseurl }}{% post_url 2015-10-12-formalizing-rust %}) lead to us actually discovering a bug in the Rust standard library: