Community
Participate
Working Groups
https://git.eclipse.org/r/25434
Fixed with http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=822529afe037f0f0cedd1407584f5990e2a4e997 Thanks to Tom for the pointer
(In reply to Lars Vogel from comment #2) > Fixed with > http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/ > ?id=822529afe037f0f0cedd1407584f5990e2a4e997 > > Thanks to Tom for the pointer Merge was waiting for another change, rebased onto origin/master and merged with https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=eb34ba54fbade1382ae7de9f259e19d977acbb58
This fix was not good. See bug 433339 for details.
After the fix of Bug 433339 all relevant unit tests pass. I mark this one as verified in Build id: I20140427-2030.