We've got plenty of other links, and this is mostly archeologic,
but still shouldn't feature a broken link when that hostname goes
away.
Applied.
Gerald
Index: gcj-status.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-3.3/gcj-status.html,v
retrieving revision 1.6
diff -u -3 -p -r1.6 gcj-status.html
--- gcj-status.html 13 May 2011 10:25:01 -0000 1.6
+++ gcj-status.html 21 Oct 2012 13:11:26 -0000
@@ -26,12 +26,12 @@ list</a>).</p>
<td> </td>
</tr>
-<tr bgcolor='#aaeeee'> <td> <a href="http://sources.redhat.com/rhug/";>rhug</a>
</td>
+<tr bgcolor='#aaeeee'> <td> rhug </td>
<td> ok on x86 </td>
<td> </td>
</tr>
-<tr> <td> <a href="http://sources.redhat.com/mauve/";>Mauve</a> </td>
+<tr> <td> Mauve </td>
<td> Some unanalyzed failures </td>
<td> Mark Wielaard </td>
</tr>
