The battle for Georgia's sixth district is done.
Jon Ossoff lost.
He failed to win the first round against a fractured Republican field, and lost Tuesday in the run-off.
Is it a big deal?
Maybe not politically, but a Trump win is better than a Trump loss - which Democrats would have called a Ossoff win.