where to send gcc/java patches?

[Tom Tromey]

Per> Should patches to the gcc/java directory go to
Per> java-patches@sources.redhat.com or to gcc-patches@gcc.gnu.org.

gcc-patches.

I'll update the web pages on Tuesday.

Tom