add forum link

[web.git] / 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 085a97a2b8e539bc65a02a6711a354c363fb99f9..a598903f7ecbb78c57b3d56a0362463cc408e6ce 100644 (file)
--- 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.
@@ -8,6 +9,9 @@ Neither project is by any means "done", of course.
 However, both have reached a fairly reasonable state, so I felt some kind of closing report made sense.
 Also, if I ever want to finish my PhD, I'll have to seriously scale down the amount of time I work on Rust -- so at least from my side, things will move more slowly from now on.
 
+In particular, installing Miri and running your test suite in it is now just a single command away!
+Scroll all the way down if you are not interested in the rest.
+
 <!-- MORE -->
 
 ## Stacked Borrows Tweaks