lol!
Trump’s not attacking Cruz tonight. I wonder if, somehow, this means the two are mending fences (I can’t believe Cruz’s ego would permit that). In any case, it makes Trump seem more gracious. He should just dismiss Rubio and not even discuss him.