Community
Participate
Working Groups
Side effect of wrong patch for bug 552379.
I will revert offending change from bug 552379.
New Gerrit change created: https://git.eclipse.org/r/153119
(In reply to Eclipse Genie from comment #2) > New Gerrit change created: https://git.eclipse.org/r/153119 Something seems broken with that change. See my comment in there.
Gerrit change https://git.eclipse.org/r/153119 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=949794765176a44045b169c2184026c3e425f151