Community
Participate
Working Groups
New Gerrit change created: https://git.eclipse.org/r/c/www.eclipse.org/eclipse/+/184437
Gerrit change https://git.eclipse.org/r/c/www.eclipse.org/eclipse/+/184437 was merged to [master]. Commit: http://git.eclipse.org/c/www.eclipse.org/eclipse.git/commit/?id=d07c7b77724e9b1730b286c5806bdce1c979b006
Re ran the scripts to check whether we missed any one. Now closing this one