XM/Sirius merger approved tonight.