From: Ralf Jung Date: Tue, 10 Apr 2018 15:12:19 +0000 (+0200) Subject: addendum re: interior mutability and pinning X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/bd6ecd78d38ec6ff901fcf01e2e5d7225775ffa6?hp=bd6ecd78d38ec6ff901fcf01e2e5d7225775ffa6 addendum re: interior mutability and pinning ---