Hi all, is there any point to continue shipping libgnumalloc? It's not even the malloc used by a modern glibc and I don't think it can compete with the libc malloc. Joerg