Dumb question: a “redshirt” isn’t anything official until the season is done, right? So if we’re mid game and we need him, he could go in at any time, and just at that point it’s no longer considered a redshirt season?
I suppose all this does is stops people from speculating on why he isn’t...