Community
Participate
Working Groups
https://git.eclipse.org/r/#/c/62680/
New Gerrit change created: https://git.eclipse.org/r/62680
Gerrit change https://git.eclipse.org/r/62680 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=77e7d5c05d104afb4e72d02bfdbfc544ad7ac746
Thanks Elena
verified by code inspection