The Astros let Carlos Hernandez go.