On 30/09/18 16:06 +0200, Gerald Pfeifer wrote:
>I applied the patch below. Given a number of fixes in libstdc++/doc
>I've applied recently, can one of you please regenerate the HTML pages
>in the next days?
Done and committed as r264760.
Regenerate libstdc++ HTML pages
* doc/html/*: Regenerate.