Community
Participate
Working Groups
New Gerrit change created: https://git.eclipse.org/r/50343
Gerrit change https://git.eclipse.org/r/50343 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=d2ef326d02145ddf00e18d7f36b9d850d487d110
.
I've reverted that change. The repositories are still closed for Mars. This applies to any change including tests, doc, etc.
New Gerrit change created: https://git.eclipse.org/r/50417
Gerrit change https://git.eclipse.org/r/50417 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=ef59ff55fa948f400e4fc8bcfc0514e862827fb4