Wed, 30 May 2018 11:13:52 +0200
being more precise on the different required behavior of a destructor function for pooled and non-pooled memory