Talk:1980 Cincinnati Reds season