Re: [committed] libstdc++: Update/streamline Valgrind references

2020-06-01 Thread Jonathan Wakely via Gcc-patches
On 01/06/20 17:06 +0200, Gerald Pfeifer wrote: Like many sites over the last year(s) valgrind.org has now moved to https. While there, replace the second of two links in the same vicinity by a purely textual reference -- easier to maintain, and in particular also better from a user experience

[committed] libstdc++: Update/streamline Valgrind references

2020-06-01 Thread Gerald Pfeifer
Like many sites over the last year(s) valgrind.org has now moved to https. While there, replace the second of two links in the same vicinity by a purely textual reference -- easier to maintain, and in particular also better from a user experience perspective. Gerald * doc/xml/faq.xml: