Closed N1k145 closed 2 months ago
Relates to eclipse-platform/eclipse.platform#1292
Is this one still needed? @BeckerWdf as you reviewed the related PR please take a look at this one too.
Relates to eclipse-platform/eclipse.platform#1292