it was a very lukewarm, back-handed endorsement, though ...
I wonder what President Trump will do now wrt Ron DeSantis. I suspect that he will quit calling him Ron De Sanctimonious. He has always been gracious. He might again show him great warmth. But I think that President Trump was right to say - much earlier in the campaign - that Ron DeSantis decimated his political standing and squandered his capital by running this time around.