Dare I ask: was it RvsD or totally non-partisan?
This was the primary vote, so he lost in the Republican primary. I don't know who it was who was running against him, who will now be the Republican candidate. Bring this is Texas, and the part of Texas it is in, winning the Republican primary is all but the equivalent of winning the election.