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/163626
Gerrit change https://git.eclipse.org/r/163626 was merged to [master]. Commit: http://git.eclipse.org/c/www.eclipse.org/eclipse.git/commit/?id=878e61f93c04d7726558c26490e29c22c07ca883
New Gerrit change created: https://git.eclipse.org/r/163627
Gerrit change https://git.eclipse.org/r/163627 was merged to [master]. Commit: http://git.eclipse.org/c/www.eclipse.org/eclipse.git/commit/?id=e339920aa2977bdcdbbe8d98b3f4b82a19363b3e
Reviewed.
Resolving now. Please reopen if there are changes required