On Thursday, 1 June 2023 at 13:01:44 UTC, user456 wrote: > In case some would still pipe valgrind in ddemangle, be aware > that this is not required anymore. Since [version 3.21.0], > valgrind supports D demangling out of the box. > > [version 3.21.0]: > https://valgrind.org/docs/manual/dist.news.html Thank you for it!