Re: PING: Re: [patch 6/10] debug-early merge: Java front-end

Andrew Haley <[email protected]> Thu, 21 May 2015 08:09:27 +0100

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

On 20/05/15 23:32, Aldy Hernandez wrote:
> Perhaps I should've sent this to the java-patches list.
> 
> PING.

OK, I believe it.

Andrew.