It's no big deal, and I'm a Cruz supporter.
Now if Trump tries to slime Cruz, that would be a big deal and this is what Cruz supporters were pointing out last week, when Trump was sliming Carson.
Trump won’t need to go to war with Cruz.