Community
Participate
Working Groups
New Gerrit change created: https://git.eclipse.org/r/44975
Gerrit change https://git.eclipse.org/r/44975 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.tools.git/commit/?id=6503140e600544dbd4ff58eeeb9efc728f2f2c35
.