Community
Participate
Working Groups
Gerrit review https://git.eclipse.org/r/14500 Patch is trivial.
Thanks Lars. http://git.eclipse.org/c/platform/eclipse.platform.runtime.git/commit/?id=3f5290c1f927432a8a4646c97520abfdd2f44cb5
Verified in the build: I20130916-2330