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.
