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
Awesome.
