Did the Texas GOP really try to pull the shenanigans with the time stamp? I saw a headline about it, but haven’t followed the play-by-play.