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.