Chris Devenski (Astros, P): 0.2 ip, 2 er, 1 k @ Rangers. Final: Astros 12 @ Rangers 4. MLB, Jul 14, 2019. Full box score and game log on Real.