List of Java Contributors

Mon Oct 28 06:43:00 GMT 2002

I just noticed that the list of Java contributors still is web-only at
 http://gcc.gnu.org/java/thanks.html
and would like to suggest to merge this with the main list of contributors
in gcc/doc/contrib.texi,
That way, we finally have a common list of contributors which also appears
in printed manuals, /onlinedocs, etc.
Ideally, one of the Java maintainers/contributors would do this, because
entries need to be adjusted (by adding context) and merged with the
existing ones there.
Any volunteers??
Gerald