The Facts: In addition to the previously reported release of Brian Hartline, the Dolphins announced the release of Gibson on Friday.

Diehards Line: Gibson signed a three-year $9.755 million contract that same offseason. His release will save the franchise $3.26 million. Gibson was a No. 4 receiver who caught 29 passes and one touchdown in just 516 snaps. The next task for the Dolphins brass will be to figure out how to proceed with Mike Wallace and his bloated contract. ... Stay tuned.