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