Community
Participate
Working Groups
Deprecated in 2002, I guess we should be save to mark it for deletion
Paul, something for you?
Move out of 4.12.
New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/175730
New Gerrit change created: https://git.eclipse.org/r/c/platform/eclipse.platform.common/+/175732
Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.common/+/175732 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=b0dd27b7e3b2969e1d3807abaf56bf49bded1e82
Gerrit change https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/175730 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=1885a1c5712130966c5920f5778c5f9ba1f6ec8e