Re: ping: Re: [patch] update ecj to ecj-3.8.2/4.2.2

Andrew Haley <[email protected]> Tue, 10 Dec 2013 16:05:05 +0000
Newsgroups gmane.comp.gcc.java.patches
Message-ID <[email protected]>
On 12/10/2013 03:51 PM, Matthias Klose wrote:
> Ok to checkin?

OK, and thanks.

Andrew.