From 4e67a477f4c2cd25fc7b59ef1c2521315b0c3127 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 9 Jun 2017 14:10:10 -0700 Subject: [PATCH 1/1] add reddit URL --- personal/_posts/2017-06-09-mutexguard-sync.md | 1 + 1 file changed, 1 insertion(+) 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: -- 2.30.2