Community
Participate
Working Groups
+++ This bug was initially created as a clone of Bug #482680 +++
New Gerrit change created: https://git.eclipse.org/r/61642
Gerrit change https://git.eclipse.org/r/61642 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=88bee355f7b44ea7e82d6092a3d65cf4718e1067
New Gerrit change created: https://git.eclipse.org/r/61661
Gerrit change https://git.eclipse.org/r/61661 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=ba180dcb153ebd5da8f1610ad4fc7176aa443ecd
New Gerrit change created: https://git.eclipse.org/r/61662
Gerrit change https://git.eclipse.org/r/61662 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=0b78e94ee4277c9e8e1e4427fa757b237bc89316