Jeremy Jeffress (Rangers, P): 1.0 ip, 0 er, 1 k vs Mariners. Final: Mariners 4 @ Rangers 10. MLB, Jun 17, 2017. Full box score and game log on Real.