Worth noting

Worth noting

• Outfielder George Springer and pitcher David Martinez were named Texas League Player and Pitcher of the Year, respectively, for what they did at Double-A Corpus Christi prior to their promotions to Triple-A Oklahoma City. They were joined in the Texas League post-season All-Star team by pitcher Mike Foltynewicz, third baseman Jonathan Meyer and catcher Max Stassi.

Brian McTaggart is a reporter for MLB.com and writes an MLBlog, Tag's Lines. Follow @brianmctaggart on Twitter. This story was not subject to the approval of Major League Baseball or its clubs.