Community
Participate
Working Groups
See https://bugs.eclipse.org/bugs/show_bug.cgi?id=534432#c8 for tips
New Gerrit change created: https://git.eclipse.org/r/142842
Gerrit change https://git.eclipse.org/r/142842 was merged to [master]. Commit: http://git.eclipse.org/c/www.eclipse.org/eclipse.git/commit/?id=c4da5b84cb9ae77b11645111ce8ad0a001aa6cf4
Resolving as there are no more comments on this