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/edd14eae7f2b72eb094a9bfe1d1407a83da50908?ds=inline;hp=edd14eae7f2b72eb094a9bfe1d1407a83da50908 addendum re: interior mutability and pinning ---