Re: [wwwdocs] Remove Java

Gerald Pfeifer <[email protected]> Mon, 5 Dec 2016 00:35:23 +0100 (CET)

Newsgroups	gmane.comp.gcc.patches,gmane.comp.gcc.java.patches
Message-ID	<[email protected]>

And here are some adjustments of existing redirects for/to various 
Java pages on our end, and a new one for the former main Java page.

Applied.

I am thinking to merge the news items from the old Java index pages
and possibly the even older news items from java/news.html into our
general history at gcc.gnu.org/news.html.  Thoughts?

Gerald