Chris Devenski (Astros, P): 1.0 ip, 0 er, 3 k @ Mariners. Final: Astros 2 @ Mariners 1. MLB, Sep 17, 2016. Full box score and game log on Real.