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!

Reply via email to