link to compcert
[web.git] / ralf / _posts / 2017-06-09-mutexguard-sync.md
index 62ac7de..0d12ee8 100644 (file)
@@ -1,6 +1,6 @@
 ---
 title: How MutexGuard was Sync When It Should Not Have Been
-categories: rust
+categories: rust research
 reddit: /rust/comments/6gavfe/how_mutexguard_was_sync_when_it_should_not_have/
 ---