Community
Participate
Working Groups
Based on Bug 143992
New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/177888
New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/178688
Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/178688 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=06a16bbb2913b91565e8c4305f79444b5504b812