added back changes to releases.php