Happy Summer Christmas

Happy Summer Christmas is a Gravity Falls episode.

Trivia

 * This is the first Gravity Falls christmas special.