Re: [eclipse-dev] Compare API : bug 144638

[Michael Valenta <Michael_Valenta@xxxxxxxxxx>]

Antoine,

Thanks you for the patch. We do plan
on looking at it for 3.3. We are currently in the planning phase and the
output of that will determine when we will have a chance to look at it.

Thanks again,
Michael

Antoine Toulmé <atoulme@xxxxxxxxxxx>
Sent by: eclipse-dev-bounces@xxxxxxxxxxx

06/21/2006 08:33 AM

Please respond to
"General development mailing list of the Eclipse project." <eclipse-dev@xxxxxxxxxxx>

To	eclipse-dev@xxxxxxxxxxx
cc
Subject	[eclipse-dev] Compare API : bug 144638

Hi all,
I wrote the bug #144638 on the Bugzilla 
(https://bugs.eclipse.org/bugs/show_bug.cgi?id=144638), and I proposed
a 
patch for this bug (see patch #3).

Would anyone have time to take a look at it ?

Any help is welcome.

Antoine

_______________________________________________
eclipse-dev mailing list
eclipse-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe
from this list, visit
https://dev.eclipse.org/mailman/listinfo/eclipse-dev