Chris Devenski (Astros, P): 1.0 ip, 1 er, 1 k vs Nationals. Final: Nationals 12 @ Astros 3. MLB Playoffs, Oct 23, 2019. Full box score and game log on Real.