[Billthedrill]

Watched it from work. My colleagues think I’m nuts. BTT.

[Hunton Peck]

Now there's some more detail here, including

It was the 10th combined no-hitter in big league history and the first since six Astros accomplished the feat at Yankee Stadium on June 11, 2003.

So, no new record; maybe a tie.