Chris Devenski (Astros, P): 0.2 ip, 3 er, 1 k vs Rangers. Final: Rangers 4 @ Astros 11. MLB, May 11, 2019. Full box score and game log on Real.