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

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

From: "Georgi, Christian" <christian.georgi@xxxxxxx>
Date: Thu, 6 Oct 2016 13:21:44 +0000
Accept-language: en-US
Delivered-to: jdt-ui-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/jdt-ui-dev>
List-help: <mailto:jdt-ui-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/jdt-ui-dev>, <mailto:jdt-ui-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/jdt-ui-dev>, <mailto:jdt-ui-dev-request@eclipse.org?subject=unsubscribe>
Thread-index: AQHSH9SV7ELO8Gli/02CTkn5St/QDQ==
Thread-topic: Progress of https://bugs.eclipse.org/386676
User-agent: Microsoft-MacOutlook/f.1a.1.160916

Hi,

Just wanted to ask whether someone is looking after https://bugs.eclipse.org/386676. The corresponding patch https://git.eclipse.org/r/39533 is not far from having it second anniversary… ;)

Regards,

Christian

Follow-Ups:
- Re: [jdt-ui-dev] Progress of https://bugs.eclipse.org/386676
  - From: Daniel Megert