Updated

WASHINGTON (AP) Pitcher Jimmy Cordero has been acquired by the Washington Nationals from the Philadelphia Phillies for a player to be named.

The 25-year-old right-hander is 10-12 with a 3.80 ERA in 110 relief appearances and five starts over five minor league seasons.

He was obtained by Philadelphia at the 2015 trade deadline in the deal that sent outfielder Ben Revere to the Blue Jays.

Cordero was designated for assignment by Philadelphia on Nov. 18. The trade was announced Wednesday.