valgrind 3.21.0 supports D demangling

[user456]

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.21.0]: 
>> https://valgrind.org/docs/manual/dist.news.html
>
> Thank you for it!

I dont know who has to be thanked for the work actually. I share 
the news because I've noticed valgrind was updated yesterday and 
saw that D was mentioned in the changelog, that's it.