X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/6bc31491346968008f0e137a391369b77b684b51..4094adcf1720574ccc144790de67c48a3988552c:/ralf/_posts/2017-06-09-mutexguard-sync.md?ds=sidebyside

diff --git a/ralf/_posts/2017-06-09-mutexguard-sync.md b/ralf/_posts/2017-06-09-mutexguard-sync.md
index 2fe628a..8bfa213 100644
--- a/ralf/_posts/2017-06-09-mutexguard-sync.md
+++ b/ralf/_posts/2017-06-09-mutexguard-sync.md
@@ -2,6 +2,8 @@
 title: How MutexGuard was Sync When It Should Not Have Been
 categories: rust research
 reddit: /rust/comments/6gavfe/how_mutexguard_was_sync_when_it_should_not_have/
+license: CC BY-SA 4.0
+license-url: https://creativecommons.org/licenses/by-sa/4.0/
 ---
 
 A couple of weeks ago, our ongoing effort to [formalize Rust's type system]({% post_url 2015-10-12-formalizing-rust %}) lead to us actually discovering a bug in the Rust standard library: