The Dallas Cowboys have added to their pass-rush group by acquiring former Pro Bowl defensive end Robert Quinn from the Miami Dolphins on Thursday.

This deal had been reported to be in the works for some time now. But it’s now official. As Todd Archer of ESPN notes, Miami receives a sixth-round pick in the 2020 NFL Draft in exchange for Quinn.