Re: [PATCH] Fix my name in contrib.texi

[Gerald Pfeifer]

On Tue, 18 Mar 2014, Richard Biener wrote:
> Committed as obvious.

htdocs/svn.html has four occurrences, and a few other pages also
have some.  Though I don't think it's appropriate to adjust the 
like of news.html, should I update svn.html?

Gerald