dev_process/new-committer.php - www.eclipse.org/projects - Git at Google

 <?php
 header( 'Location: https://wiki.eclipse.org/Development_Resources/HOWTO/Nominating_and_Electing_a_New_Committer' );
 ?>
	<?php
	header( 'Location: https://wiki.eclipse.org/Development_Resources/HOWTO/Nominating_and_Electing_a_New_Committer' );
	?>