Minor (shoulder) had his mutual option declined by the Reds on Tuesday.
The veteran lefty's season didn't go as planned, as he was limited by injuries to 19 starts and struggled to a 6.06 ERA when available. He's now finished with an ERA north of 5.00 for three straight seasons. He's reportedly contemplating retirement, and it could be tough for him to find another big-league deal if he elects to continue his career.