dev_process/review-mechanisms.php - www.eclipse.org/projects - Git at Google

 <?php
 header("Location: https://www.eclipse.org/projects/dev_process/development_process.php#6_3_Reviews");

 exit;
 ?>
	<?php
	header("Location: https://www.eclipse.org/projects/dev_process/development_process.php#6_3_Reviews");

	exit;
	?>