Re: PATCH: remove call to obsolete dejagnu proc

Andrew Haley <[email protected]> Tue, 19 Apr 2016 17:20:06 +0100
Newsgroups gmane.comp.gcc.java.patches
Message-ID <[email protected]>
On 04/19/2016 05:13 PM, Ben Elliston wrote:
> Okay
> to commit?

OK, thanks.

Andrew.