X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/aa25b826d6d83efb1f4e9f0cb11a9f72f57ff899..b6e245369a7bfae3417426c90ecb9c14ab7c5efb:/personal/_posts/2019-04-30-stacked-borrows-2.md?ds=sidebyside

diff --git a/personal/_posts/2019-04-30-stacked-borrows-2.md b/personal/_posts/2019-04-30-stacked-borrows-2.md
index 87617ea..d9037c0 100644
--- a/personal/_posts/2019-04-30-stacked-borrows-2.md
+++ b/personal/_posts/2019-04-30-stacked-borrows-2.md
@@ -1,6 +1,7 @@
 ---
 title: "Stacked Borrows 2"
 categories: rust research
+forum: https://internals.rust-lang.org/t/stacked-borrows-2/9951
 ---
 
 Recently, I have [significantly updated](https://github.com/rust-lang/miri/pull/695) Stacked Borrows in order to fix some issues with the handling of shared references that were uncovered in the previous version.