gcjwebplugin-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcjwebplugin-devel] ping


From: Thomas Fitzsimmons
Subject: Re: [Gcjwebplugin-devel] ping
Date: Wed, 20 Jul 2005 11:12:07 -0400

On Mon, 2005-07-18 at 14:31 -0600, Tom Tromey wrote:
> Patch ping:
> 
> http://lists.gnu.org/archive/html/gcjwebplugin-devel/2005-07/msg00000.html

Yes, please commit.

Thanks,
Tom






reply via email to

[Prev in Thread] Current Thread [Next in Thread]