Community
Participate
Working Groups
https://git.eclipse.org/r/26093
Fixed with https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=bf54cf643d04f45def3546597ee6209fd7dd95a0
Verified in Git
.