libstdc++: Update/streamline Valgrind references
authorGerald Pfeifer <gerald@pfeifer.com>
Mon, 1 Jun 2020 15:03:51 +0000 (17:03 +0200)
committerGerald Pfeifer <gerald@pfeifer.com>
Mon, 1 Jun 2020 15:04:22 +0000 (17:04 +0200)
commite41b988cc5af34e9c1a3d37b717fbfcc52d7ff90
tree3330771d4155bb0a944279ad55d72cacd8a8ed11
parentff7da2b5d621d0aaf4a467344d0621eefd4aa78f
libstdc++: Update/streamline Valgrind references

* doc/xml/faq.xml: Adjust Valgrind reference and remove another.
* doc/html/faq.html: Regenerate.
libstdc++-v3/doc/html/faq.html
libstdc++-v3/doc/xml/faq.xml