Community
Participate
Working Groups
New Gerrit change created: https://git.eclipse.org/r/143035
Thanks Andrew.
Gerrit change https://git.eclipse.org/r/143035 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=d66482d3b542fd1a46febc3856886673a32ef9b7
New Gerrit change created: https://git.eclipse.org/r/145883
Gerrit change https://git.eclipse.org/r/145883 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=34da49339b51b29191167abd8dcf1d98a7d0c694