How do you treat a 7-inning no-hitter in a doubleheader?

It's a no-hitter. The definition holds true that the game is over and the opposing team has 0 hits.14 votes
Not a no-hitter. The pitcher has to throw at least nine complete innings.8 votes
Sorta. Put it in the record books with an asterisk.6 votes
Total votes: 28