X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/eccd35e139e4d1d6c1e66f22883d5f98c24d71b5..0984d955528e45c4322c95dc4975973fafc23ffc:/ralf/_posts/2019-04-30-stacked-borrows-2.md?ds=inline

diff --git a/ralf/_posts/2019-04-30-stacked-borrows-2.md b/ralf/_posts/2019-04-30-stacked-borrows-2.md
index 87617ea..d9037c0 100644
--- a/ralf/_posts/2019-04-30-stacked-borrows-2.md
+++ b/ralf/_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.