is there an offial list out of the players who took a redshirt this past season?