Hello people, some weeks ago, someone posted a diff concerning the memory allocation routines of the Mintlib. If somebody could be as kind to post it again. Thank you Dirk