On Friday, 2 June 2023 at 12:20:35 UTC, zoujiaqing wrote:
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
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
