[Bug other/57659] Failure in installing documentation of gcc-4.7.2

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57659

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Ellis N. Thomas from comment #0)
> 4 Information about the build state
[...]
> 6 Summary of Bugs

What happened to chapter 5? :)

> 6.2 Extra Information
> 
> 	If extra information about the matters reported above would be of value
> please contact:
> 
> 	ExtraLeveLInSoftware at ntlworld dot com

If someone needs more info I think you can assume they'll ask for it, but
they'll post responses to Bugzilla, and as the bug reporter you'll
automatically get an email, so there's no need to give your contact details.