 All things considered here on NPR News. And just in the last half hour, as the roll call continued, Donald Trump was formally nominated as the Republican National Convention began this afternoon in Milwaukee. All of Minnesota's GOP delegates cast their vote for Trump. And here is Minnesota GOP Chair David Hamm.