I don't recall ever seeing or reading about an announcement.
Nor do I. Thus the question. Of course, it would not be the first time that the MiLB rosters were screwed up, either. Just wondering.