Community
Participate
Working Groups
New Gerrit change created: https://git.eclipse.org/r/56145
Gerrit change https://git.eclipse.org/r/56145 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=f488e019a524531542033210f1736c8f9ea4b066
.
Verified by looking at the classpath entry in the IDE.
404