I'll admit when I'm wrong. The DOJ announced back in February that it was "preparing to sue", but appears to have never officially filed that lawsuit. My mistake.

Nonetheless, I think my point still stands in that the FTC and DOJ made how they felt about the deal pretty clear.