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/7bfc8b44989d8161fbe394ad9703d309b9c31ff4?ds=sidebyside;hp=7bfc8b44989d8161fbe394ad9703d309b9c31ff4 safe intrusive collections with pinning: first draft ---