From: Ralf Jung Date: Tue, 10 Apr 2018 11:27:30 +0000 (+0200) Subject: serious revision of the intrusive collections post X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/bf9e1660fb731b2c8c6a7d015284d0e806ae2192?hp=bf9e1660fb731b2c8c6a7d015284d0e806ae2192 serious revision of the intrusive collections post ---