Chris Devenski (Astros, P): 1.1 ip, 1 er, 0 k vs Rangers. Final: Rangers 6 @ Astros 1. MLB, Jun 12, 2017. Full box score and game log on Real.