Community
Participate
Working Groups
See https://bugs.eclipse.org/bugs/show_bug.cgi?id=539408
New Gerrit change created: https://git.eclipse.org/r/133056
Gerrit change https://git.eclipse.org/r/133056 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=4b8896f426d60d5e1e91f691f62b940b3d86f8e4
verified on Version: 2018-12 (4.10) Build id: I20181128-0130