Safety Trenton Robinson, right, had started seven games this season.

In addition to signing tight end Alex Smith, the Washington Redskins made two other roster moves Tuesday, waiving safety Trenton Robinson off injured reserve and releasing practice squad running back Christine Michael.

The Redskins reached an injury settlement with Robinson, who was waived/injured after he reaggravated his hamstring in practice two weeks ago. He went unclaimed on waivers and reverted to the Redskins’ injured reserve list. Robinson finished with 52 tackles in nine games (seven starts) this season.

Michael’s tenure on the practice squad lasted less than a month. The team signed him on Nov. 19 after he was released by the Dallas Cowboys. The Redskins brought back Mack Brown to the practice squad and signed free agent running back Pierre Thomas to the active roster last week to bolster their depth at the position once Chris Thompson suffered a torn labrum.

Michael will now look for his fourth NFL team. He finished training camp with the Seattle Seahawks before he was traded to the Cowboys right before their season opener.

More on from The Post:

Redskins sign tight end Alex Smith

Mailbag: On Cousins’s development, and the running game | Snap counts

Opening Kick: How Redskins could clinch, or be eliminated, by Week 16

Bog: Cousins could rewrite team record book | Yes, Cooley wants a shot

More NFL: Redskins | Around the league | Bog on Redskins | Fantasy

Follow: @MikeJonesWaPo | @lizclarketweet | @MasterTes | @Insider