I was listening to NY sports talk radio yesterday morning and they were discussing all of the rules revisions, and someone asked whether a 7-inning no-hitter in a doubleheader would count as a no-hitter. Interesting timing for the discussion as yesterday afternoon MadBum threw a 7-inning no-hitter which does not count as a no-hitter.
https://www.espn.com/mlb/story/_/id/...ooks-no-hitter