Community
Participate
Working Groups
New Gerrit change created: https://git.eclipse.org/r/102048
Gerrit change https://git.eclipse.org/r/102048 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=6786f61f4c8c5df23401fc88168b18d2158a881b