Pedro Strop optioned for Derek Holland

In order to make room for Derek Holland, today's starter, on the roster, the Rangers officially optioned RHP Pedro Strop to Triple-A Oklahoma City.

Strop has allowed 7 runs in 1.2 innings over 2 appearances since his most recall from Oklahoma City on August 14. He has a 13.50 ERA in 6 overall games in his 3 stints with the Rangers this season.