Worth noting

•  Jose Campos, the 21-year-old right-hander who was acquired from the Mariners along with Michael Pineda in the Jesus Montero deal, has been optioned to Class A Tampa, and right-hander Bryan Mitchell has been optioned to Triple-A Scranton/Wilkes-Barre.

Paul Hagen is a reporter for MLB.com. This story was not subject to the approval of Major League Baseball or its clubs.