A spokesman says former President George W. Bush did not vote for Republican Donald Trump or Democrat Hillary Clinton.

Freddy Ford says the most recent Republican president voted “none of the above for president and Republican down-ballot.” That means Bush voted for Republicans in congressional and local races.

It’s not a complete surprise. The Bush family includes the two most recent Republican presidents but neither endorsed nor campaigned for the billionaire businessman who captured the party’s nomination. Former Florida Gov. Jeb Bush was a one-time favorite to win the GOP presidential nomination until Trump got into the race and branded him with a name that stuck: “Low energy.”