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

Reply via email to