Chris Devenski (Astros, P): 1.0 ip, 2 er, 1 k vs Rangers. Final: Rangers 5 @ Astros 15. MLB, May 12, 2019. Full box score and game log on Real.