Community
Participate
Working Groups
Gerrit change https://git.eclipse.org/r/45903 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=922884ceb82c51b574ceef5c8958ae10676018e7
Thanks Tony.
.