On Thu, Nov 25, 2021 at 04:29:55PM +0000, David CARLIER wrote: > Ok I applied your suggestions and move back the malloc_trim/mallinfo > part as it was before.
Thanks, now merged! Willy
On Thu, Nov 25, 2021 at 04:29:55PM +0000, David CARLIER wrote: > Ok I applied your suggestions and move back the malloc_trim/mallinfo > part as it was before.
Thanks, now merged! Willy