add reddit URL
authorRalf Jung <post@ralfj.de>
Fri, 9 Jun 2017 21:10:10 +0000 (14:10 -0700)
committerRalf Jung <post@ralfj.de>
Fri, 9 Jun 2017 21:10:10 +0000 (14:10 -0700)
personal/_posts/2017-06-09-mutexguard-sync.md

index a01980f5f964a11fea3c811ba1f080027b6fbaaa..62ac7def999ecaf7ca877dc1a371d0e4040b85b3 100644 (file)
@@ -1,6 +1,7 @@
 ---
 title: How MutexGuard was Sync When It Should Not Have Been
 categories: rust
 ---
 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:
 ---
 
 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: