Re: [jdt-ui-dev] Progress of https://bugs.eclipse.org/386676

["Georgi, Christian" <christian.georgi@xxxxxxx>]

Sure, thanks for dispatching this one.

 

Regards,

Christian

 

 

From: <jdt-ui-dev-bounces@xxxxxxxxxxx> on behalf of Daniel Megert <daniel_megert@xxxxxxxxxx>
Reply-To: "Eclipse JDT UI developers list." <jdt-ui-dev@xxxxxxxxxxx>
Date: Thursday, 6 October 2016 at 15:32
To: "Eclipse JDT UI developers list." <jdt-ui-dev@xxxxxxxxxxx>
Subject: Re: [jdt-ui-dev] Progress of https://bugs.eclipse.org/386676

 

Hi Christian

Thanks for reminding us, and sorry for the long delay! Noopur will take a look at this during M3.

Dani



From:        "Georgi, Christian" <christian.georgi@xxxxxxx>
To:        "jdt-ui-dev@xxxxxxxxxxx" <jdt-ui-dev@xxxxxxxxxxx>
Date:        06.10.2016 15:21
Subject:        [jdt-ui-dev] Progress of https://bugs.eclipse.org/386676
Sent by:        jdt-ui-dev-bounces@xxxxxxxxxxx

---

Hi,
 
Just wanted to ask whether someone is looking after https://bugs.eclipse.org/386676.  The corresponding patch https://git.eclipse.org/r/39533is not far from having it second anniversary… ;)
 
Regards,
Christian
 _______________________________________________
jdt-ui-dev mailing list
jdt-ui-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/jdt-ui-dev