add forum link
authorRalf Jung <post@ralfj.de>
Wed, 26 Dec 2018 16:03:23 +0000 (17:03 +0100)
committerRalf Jung <post@ralfj.de>
Wed, 26 Dec 2018 16:03:23 +0000 (17:03 +0100)
ralf/_posts/2018-12-26-stacked-borrows-barriers.md

index e68663dbb919f7730be38866742423c036544ddf..a598903f7ecbb78c57b3d56a0362463cc408e6ce 100644 (file)
@@ -1,6 +1,7 @@
 ---
 title: "Barriers and Two-phase Borrows in Stacked Borrows"
 categories: internship rust
+forum: https://internals.rust-lang.org/t/barriers-and-two-phase-borrows-in-stacked-borrows/9100
 ---
 
 My internship ("research assistantship") with Mozilla has ended several weeks ago, and this post is a report of the most recent tweaks I made to Miri and Stacked Borrows.