Sen. Jeff Sessions has just put Donald Trump’s name into nomination, and now the roll call is about to begin. CNN is reporting there could be issues on the floor with some of these holdout pro-Ted Cruz states causing problems and forcing individual polling of the states. Anyway, it’s starting.
Update: it’s done, Trump is officially the GOP nominee, but with several opposition votes cast for Ted Cruz and other people. Most opposition votes against any GOP nominee since 1976.