Nick Martinez Named All-Star Replacement

Nick Martinez has been named to the National League All-Star team as an injury replacement.