Closed BeckerWdf closed 10 months ago
Fixes: https://github.com/eclipse-platform/eclipse.platform.ui/issues/1247
Fixes: https://github.com/eclipse-platform/eclipse.platform.ui/issues/1247