Mason Miller makes quick work of the Marlins in the 9th and the Padres win 4-2. Hard to fathom but the Marlins have lost Via @CraigMish on X

What happened: San Diego and Miami are tied 0-0 with the game still scheduled to begin.

Sources