Derek Holland, mind you, was not actually in the game at the time. He won’t start until Tuesday at home against the Brewers.

Derek Holland, mind you, was not actually in the game at the time. He won’t start until Tuesday at home against the Brewers.