Community
Participate
Working Groups
New Gerrit change created: https://git.eclipse.org/r/148635
Gerrit change https://git.eclipse.org/r/148635 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=bad59ca7f79216de23747df8971189a1cce54566
Thanks, Ed!
We either relevants +1s for Rc2 or since this affected only commented part, I have marked this as documentation.