clarify what happens when memory gets deallocated
authorRalf Jung <post@ralfj.de>
Mon, 15 Oct 2018 16:18:21 +0000 (18:18 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 15 Oct 2018 16:18:21 +0000 (18:18 +0200)
commit77b43f31b329d5c6d1045a88def6605f79e3094c
treebe6a7d1814e86d9cfa77f436088a702bc5471943
parentc99659a68f115eaf589ec67dc4e09dfe5c12c9cb
clarify what happens when memory gets deallocated
personal/_posts/2018-08-07-stacked-borrows.md