Community
Participate
Working Groups
Gerrit change https://git.eclipse.org/r/66409 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=8871738e5b595e7715499161b04980d9f16df820
Thanks Bruno!
*** Bug 501123 has been marked as a duplicate of this bug. ***