(CBSDFW.COM) – According to a spokesperson for the former president, George W. Bush and his wife Laura did not vote for Hillary Clinton or Donald Trump on Tuesday.

According to CNN, the Bushes left the section for a presidential candidate choice blank and voted for Republican candidates in down ballot races.

Meanwhile, it is now up to the American people to decide who will be the next President of the United States. The polls here in Texas are already open and voters across the state and the country are casting their ballots.

There was a record early voter turnout in Texas, so election lines on Tuesday are expected to be long. The Secretary of State’s Office said that Texas had 15.1 million registered voters going into Tuesday’s election. Almost 4.5 million Texas residents cast early ballots in the state’s 15 largest counties.

Starting on Tuesday night at 6:00 p.m., CBS 11 News political reporter Jack Fink will be online on CBSDFW.COM and on Facebook Live with election results. Republican Allen West and Democrat Domingo Garcia will share their insight along with the panel. We will also be taking your questions — so join in on the conversation!

(©2016 CBS Local Media, a division of CBS Radio Inc. All Rights Reserved. This material may not be published, broadcast, rewritten, or redistributed.)