Before he dropped out of the race, he stayed in as part of an effort to keep Trump from amassing a majority of delegates.
"I'll let you know how I feel about it after it happens", Trump told The New York Times in a story published Thursday while flashing what the newspaper described as a "mischievous smile".
Names of Dallas officers killed in attack
Dallas police negotiated and exchanged gunfire with a suspect for hours at a parking garage in downtown. Sources confirmed later Friday that the fourth Dallas police officer killed has been identified as Sr.
With the odds of replacing Trump at the convention fading away from reality, the "Never Trump" movement is throwing one last Hail Mary in an attempt to block his running mate, using possible rule changes to pick who joins the ticket.
Among Democrats, 82% of those who preferred Clinton in the primaries expect the Democratic Party to solidly unite behind her. Those who supported Bernie Sanders are significantly less likely to hold this view.
If that is the case, they have managed to bury a very large hatchet.