X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/c05e566e4adf175e810e37b67b7b5819f5fed3b5..a908ef19ab2ea97e27e60b4a2393add7dfcd0dc7:/personal/_posts/2018-11-16-stacked-borrows-implementation.md?ds=inline

diff --git a/personal/_posts/2018-11-16-stacked-borrows-implementation.md b/personal/_posts/2018-11-16-stacked-borrows-implementation.md
index 211d21d..e842044 100644
--- a/personal/_posts/2018-11-16-stacked-borrows-implementation.md
+++ b/personal/_posts/2018-11-16-stacked-borrows-implementation.md
@@ -1,6 +1,7 @@
 ---
 title: "Stacked Borrows Implemented"
 categories: internship rust
+forum: https://internals.rust-lang.org/t/stacked-borrows-implemented/8847
 ---
 
 Three months ago, I proposed [Stacked Borrows]({% post_url
@@ -907,5 +908,11 @@ significantly reduce my Rust activities in favor of finishing my PhD.  I won't
 disappear entirely though, don't worry -- I will still be able to mentor you if
 you want to help with any of the above tasks. :)
 
-Thanks to @nikomatsakis for feedback on a draft of this post.
-<!-- If you want to help or report results of your experiments, if you have any questions or comments, please join the [discussion in the forums](). -->
+Thanks to @nikomatsakis for feedback on a draft of this post, to @shepmaster for
+making miri available on the playground, and to @oli-obk for reviewing all my
+PRs at unparalleled speed. <3
+
+If you want to
+help or report results of your experiments, if you have any questions or
+comments, please join the
+[discussion in the forums](https://internals.rust-lang.org/t/stacked-borrows-implemented/8847).