From 45bd287d005c2f3a6f4f0e40970f4095e0159a7e Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 26 Dec 2018 17:03:23 +0100 Subject: [PATCH 1/1] add forum link --- personal/_posts/2018-12-26-stacked-borrows-barriers.md | 1 + 1 file changed, 1 insertion(+) diff --git a/personal/_posts/2018-12-26-stacked-borrows-barriers.md b/personal/_posts/2018-12-26-stacked-borrows-barriers.md index e68663d..a598903 100644 --- a/personal/_posts/2018-12-26-stacked-borrows-barriers.md +++ b/personal/_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. -- 2.30.2