Rangers optioned RHP Miles Mikolas to Triple-A Round Rock. Mikolas was up for a few days but didn't appear in a game. He'll return to a 3.38 ERA in eight innings at Round Rock.