From: Ralf Jung Date: Mon, 9 Apr 2018 20:38:33 +0000 (+0200) Subject: safe intrusive collections with pinning: first draft X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/777cc00cc42cae2a2974e8ad34fc8d61d447d757?ds=sidebyside;hp=777cc00cc42cae2a2974e8ad34fc8d61d447d757 safe intrusive collections with pinning: first draft ---