On 13 Dec 2000, Tom Tromey wrote: >> and java-discuss. > This one we want to keep. Addendum ;-): java@gcc.gnu.org would fit closer to the schema that seems to destill from recent changes. Just FWIW. Gerald