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