X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/8f86a17ac63242f48437c48eb8b1ce1c6653d921..052d90305ce74d36221d6c4525b450b4d0a3adbe:/ralf/_posts/2018-12-26-stacked-borrows-barriers.md

diff --git a/ralf/_posts/2018-12-26-stacked-borrows-barriers.md b/ralf/_posts/2018-12-26-stacked-borrows-barriers.md
index e68663d..a598903 100644
--- a/ralf/_posts/2018-12-26-stacked-borrows-barriers.md
+++ b/ralf/_posts/2018-12-26-stacked-borrows-barriers.md
@@ -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.