The journey of Chris Ivory: Dismissed, discarded and, finally, celebrated

Who did we end up getting with the pick we received in the Ivory trade?

Traded to Miami, who picked Dion Sims.

If I'm reading this right, we traded the Ivory pick + another 4th for Miami's 3rd (82), which became John Jenkins.