Former President George W. Bush and former First Lady Laura Bush didn’t vote for a presidential candidate this year.

A family spokesperson spokesperson said the former first couple did not vote for either Hillary Clinton or Donald Trump, according to the Wall Street Journal.

CBS’s Will Rahn also cited a Bush family spokesperson who said the Bushes “left the top box blank and voted Republican downballot.”

The Bush family has been near-universally cool on Trump since the Republican nominee mercilessly attacked former Florida Gov. Jeb Bush during the Republican presidential primaries.

Unlike most of his fellow competitors, Jeb Bush never endorsed Trump, writing in May that Trump “has not demonstrated that temperament or strength of character. He has not displayed a respect for the Constitution. And, he is not a consistent conservative. These are all reasons why I cannot support his candidacy.”

Jeb and George W.’s mother, former First Lady Barbara Bush, told CBS of Trump in February, “I mean, unbelievable. I don’t know how women can vote for someone who said what he said about Megyn Kelly, it’s terrible.”

Sources close to former President George H.W. Bush said in September that the 41st president would not vote for Trump, but those reports have gone unconfirmed by the man himself.

Perhaps the most impactful Bush this year has never been much of a politico at all: Cousin Billy Bush was filming an episode of “Access Hollywood” with Trump in 2005 when Trump said… Well, now you know what he said.